GNU Prolog

GNU Prolog（またはgprolog）は、ダニエル・ディアス（Daniel Diaz）によって開発されたコンパイラであり、Unix、Windows、macOS、Linuxで使用可能なProlog用の対話型デバッグ環境を備えている。また、有限領域での制約プログラミング、確定節文法（英語版）を用いた解析、オペレーティングシステムインターフェイスなど、Prologの拡張機能も複数サポートしている。

GNU Prolog

開発元	ダニエル・ディアス[1]
最新版	1.5.0 / 2021年7月8日 (3年前) (2021-07-08)
リポジトリ	github.com/didoudiaz/gprolog
プログラミング 言語	C言語
対応OS	Linux, Solaris, Windows, BSD, Mac OS X
種別	コンパイラ
ライセンス	GPLv2+、GPLv3+、またはその両方
公式サイト	www.gprolog.org

コンパイラは、ソースコードをWarren抽象マシン（英語版）（WAM）が解釈可能なバイトコードに変換し、それをスタンドアロン実行可能ファイルへと変換する。

関連項目

• SWI-Prolog（英語版）
• Comparison of Prolog implementations（英語版）
• Prolog syntax and semantics（英語版）