制約プログラミング 制約プログラミングの概要

ウィキペディア

制約プログラミング

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/07/27 22:58 UTC 版)

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "制約プログラミング" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年1月）

プログラミング・パラダイム
命令型プログラミング 手続き型プログラミング モジュラープログラミング（英語版） 構造化プログラミング オブジェクト指向プログラミング クラスベース プロトタイプベース メッセージング アクターモデル アスペクト指向 宣言型プログラミング 関数型プログラミング 純粋関数型プログラミング（英語版） 論理プログラミング 並行論理プログラミング 制約論理プログラミング 解集合プログラミング（英語版） 帰納プログラミング 仮説論理プログラミング（英語版） データフロープログラミング リアクティブプログラミング（英語版） 並行制約プログラミング マルチパラダイム ジェネリックプログラミング イベント駆動型プログラミング 動的プログラミング 並行プログラミング 制約プログラミング メタプログラミング 自動プログラミング 帰納プログラミング テンプレートメタプログラミング リフレクティブプログラミング マクロ 契約プログラミング インテンショナルプログラミング 文芸的プログラミング 量子プログラミング
表 話 編 歴

制約プログラミングは制約を論理プログラミングに埋め込んだ制約論理プログラミングが起源である。1987年、Jaffer と Lassez がProlog IIにある種の制約を取り入れたのが最初であった。制約論理プログラミング言語の実装としては、Prolog III、CLP(R)、CHIP がある。今日でも GNU Prolog などの制約論理プログラミングのインタプリタが存在している。

論理プログラミング以外では、制約は関数型言語、項書き換え、命令型言語などと融合させることができる。関数プログラミングでの制約としては、マルチパラダイムプログラミング言語 Oz がある。制約を取り入れた命令型言語としては Kaleidscope がある。しかし、制約プログラミング（制約論理を含む）のための専用の言語は少なく、ツールキット的な形態でライブラリとして既存の言語向けに提供されている場合がほとんどである。