Vectorトップへ

ソフト詳細説明

Prolog(Programming in Logic)は知識情報処理分野の研究に利用される論理型プログラミング言語で、論理式という人の知識に近いレベルでプログラムが記述できること、個々の論理式の非決定的な記述から可能性のある解を自動的に導出するなど、他の手続き的プログラミング言語にはない特性をもっています。

PX-Prologは、日本語でプログラムが書ける、日本語文字を意識しない入出力ができるなど、日本語に対応したProlog処理系で、強力な組み込み述語群と実行トレース機能を装備しています。

1.04では64ビット長のビット演算、Windows2000/XP上でのNamedPipe非同期入力等の拡張を行っています。

9月24日までは全機能が利用可能で、期限後もconsult等のファイル入出力関連機能以外は利用可能です。期限後の評価希望は直接作者へ問い合わせてください。

動作環境