last update: 26 October 2007

ツール

Prologの拡張・それ以外・非論理型言語のライブラリに分類して紹介します。 分類はあくまで便宜的なものです。（例えば関数論理型言語に分類される言語が Prolog的なシンタクスを持つかどうかで別々に分類されてしまったりしています。 またどこまでがProlog的かも明らかに程度の問題です。）
その他の情報として、扱っている制約の種類・現在も開発・保守が継続されているか、商用か、有償か などの情報も付けていますが、詳細な条件については、各言語のサイトにて確認 していただけますようお願いします。
また特定の応用分野に特化した制約ベースのシステムやライブラリについては、 応用分野をご覧ください。

言語（Prologの拡張）

• B-Prolog -- Prologの拡張。KLS研究所で販売
• Ciao Prolog（マドリッド工科大学）
• Mercury Project
• AKL, AGENTS, Penny (SICS) -- AKLは並行（コンカレント）制約プログラミング言語であり、AGENTSシステムの核をなす。PennyはAGENTSの並列（パラレル）版。
• Goedel -- 論理型言語、制約解消系は仕様には含まれているが、実装はされていない？
• SICStus Prolog
• GNU Prolog
• CAL -- 非線形代数方程式制約等を対象とする逐次制約論理型言語処理系。ICOTで開発。
• CHAL -- 制約に強さの階層を導入し、できるだけ強い制約を満たす解を探索する階層制 約論理型言語処理系。ICOTで開発。
• GDCC -- 非線形代数方程式制約等を対象とする並列制約論理型言語。ICOTで開発。
• CuProlog -- 記号的・組合せ的制約を対象とする制約論理型言語。ICOTで開発。自然言語処理に利用された。

言語（上記以外）・システム

• The Mozart Programming System（DFKI/SICS/ルーヴァンカトリック大学）-- Oz言語の開発環境。
• ALF System
• Curry -- 関数論理型言語。シンタックスは関数型言語Haskellのものがベース。インタプリタ・コンパイラとりまぜ、幾つかの実装が存在する。
• Morphe -- MLベース。現在はダウンロードはできない？
• The Elf Meta-Language
• HECS(HEterogenous Constraint Solver) -- JAVAによる異種協調制約解消システム。IPA未踏ソフトウェア創造事業平成14,15年度採択テーマとして開発された。

ライブラリ

• FaCiLe：関数型言語OCaml用の制約ライブラリ(ENAC：フランス)
• Cassowary Constraint Solving Toolkit（ワシントン大学）
• Amulet（カーネギーメロン大学）-- C++のライブラリ。Garnetの後継。
• Garnet（カーネギーメロン大学）-- LISPのライブラリ。現在は開発は中止されていて、Amuletに引き継がれている。
• JACK -- Java用の制約プログラミング・探索用のライブラリ
• Screamer -- Lispの制約ライブラリ
• EXCALIBUR: Adaptive Constraint-Based Agents in Artificial Environments -- in AI-CENTER
• DragonBreath: An Optimization Engine based on Constraint Programming and Local Search -- in AI-CENTER
• ILOG Solver -- 商用C++の制約ライブラリ。主要なERP、SCMベンダーのASPツールのインフラとして幅広く利用されている。
• ILOG JSolver -- 商用Javaの制約ライブラリ。
• IZ-C -- Cの制約ライブラリ。実用システム開発実績あり。
• Cream (神戸大学) -- Javaの制約プログラミングライブラリ。

開発ツール

• ILOG OPL Studio(ILOG) -- 最適化問題解決のためのプロトタイプ開発ツール

特定領域向けのライブラリ・パッケージ

• ILOG Scheduler(ILOG) -- 制約ベースの生産計画用C++クラスライブラリ
• ILOG Configurator(ILOG) -- コンフィギュレーション支援ライブラリ(C++版)
• ILOG JConfigurator(ILOG) -- コンフィギュレーション支援ライブラリ(Java版)
• ILOG Dispatcher(ILOG) -- 配送計画用ライブラリ
• Sced: Constraint Based Scene Design -- by Stephen Chenney

リンク

• 生産スケジューリング・ソフトウェア一覧 -- 法政大学西岡先生による。紹介されているツール中に、制約伝播推論メカニズムを備えたILOG Scheduler, PROKSA SCHEDES（Ver.1.1）が含まれます。