GNU Prolog

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

コンパイラは、ソースコードを (WAM) が解釈可能なバイトコードに変換し、それをスタンドアロン実行可能ファイルへと変換する。