GNU Prologは有限領域上の制約を処理できるフリーの Prologコンパイラです。GNU Prologは Prolog+制約プログラムを受け入れ、ネイティブバイナリ(Cソースから gccが行うような)を生成します。得られた実行ファイルはスタンドアロンとなります。GNU Prologは、未使用の組込み述語のリンクを避けることができるので、実行ファイルのサイズを非常に小さくできます。GNU Prologの性能は人に希望を与えます（商用システムに匹敵します）。
