GNU Prolog (64-bit)

GNU Prologは有限領域にわたって解決制約との自由のPrologコンパイラです。 GNU Prologは制約プログラムとプロローグを受け入れ、（gccがCソースからないように）ネイティブバイナリを生成します。得られた実行可能ファイルは、その後スタンドアロンです。 GNU Prologのは、ほとんど未使用の組み込み述語のコードをリンクする避けることができますので、この実行可能ファイルのサイズを小さくすることができる。 GNUプロローグの性能は非常に励みに（商用システムに匹敵する）である。ネイティブ·コードのコンパイルのほかに、GNU Prologはデバッガで古典的なインタプリタ（トップレベル）を提供しています。

プロローグ部分は実際には非常に便利な多くの拡張機能（グローバル変数とPrologのためのISO標準に準拠して、 OSのインターフェース、およびソケット）。 GNU Prologはまた有限領域（FD）を介して効率的な制約ソルバーが含まれています。これは論理プログラミングのdeclarativityに制約プログラミングのパワーを組み合わせ、ユーザーに制約論理プログラミングを開いた。特長プロローグ、原子上の完了との対話型インタプリタ下の行編集機能、プロローグとCの間の双方向インタフェース、ネイティブコードコンパイラ生成するだけでは実行可能ファイル、ファイルのさまざまなを受け入れる単純なコマンドラインコンパイラ、事前に定義されたスタンドのISO規格に準拠含まれる制約：算術制約、ブール制約、象徴的な制約、および制約を具体化、あらかじめ定義された列挙ヒューリスティック、およびユーザが自分の新しい制約を定義できます。