GNUプロローグ

GNUプロローグ
開発者	ダニエル・ディアス
安定リリース	1.5.0 / 2021年7月8日; 3年前
リポジトリ	github.com/didoudiaz/gprolog.git ;
書かれた	Ｃ
オペレーティング·システム	Linux、Solaris、Windows、BSD、Mac OS X
タイプ	コンパイラ
ライセンス	GNU General Public License v2（またはそれ以上）またはGNU Lesser General Public License v3（またはそれ以上）またはその両方
Webサイト	このサイトについて

GNU Prolog ( gprologとも呼ばれる) は、Daniel Diaz によって開発されたコンパイラで、Unix、Windows、Mac OS X、Linuxで使用できるProlog用の対話型デバッグ環境を備えています。また、有限領域での制約プログラミング、確定節文法を使用した解析、オペレーティングシステムインターフェイスなど、 Prolog の拡張機能もサポートしています。

コンパイラは、ソースコードをWarren 抽象マシン(WAM)が解釈できるバイトコードに変換し、それをスタンドアロン実行可能ファイルに変換します。

参照