HOME | English Version

last update: 26 October 2007


ツール

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

言語(Prologの拡張)

言語(上記以外)・システム

ライブラリ

開発ツール

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

リンク


HOME | TOP
Copyright(C) 2001-2007 by NTT DATA SEKISUI SYSTEMS CORPORATION All rights reserved.