GNU Prolog (64-bit)

説明

GNU Prolog は、有限領域で制約を解決する無料の Prolog コンパイラです。 GNU Prolog は制約プログラムを含む Prolog を受け入れ、ネイティブ バイナリを生成します (gcc が C ソースから行うように)。取得した実行可能ファイルはスタンドアロンです。 GNU Prolog はほとんどの未使用の組み込み述語のコードをリンクすることを回避できるため、この実行可能ファイルのサイズは小さくすることができます。 GNU Prolog のパフォーマンスは非常に有望です (商用システムに匹敵します)。ネイティブ コードのコンパイルに加えて、GNU Prolog は、デバッガーを備えた従来のインタープリター (トップレベル) を提供します。

Prolog 部分は、実際に非常に役立つ多くの拡張 (グローバル変数、OS インターフェイス、およびソケット) を備えた Prolog の ISO 標準に準拠しています。 GNU Prolog には、Finite Domains (FD) に対する効率的な制約ソルバーも含まれています。これにより、制約プログラミングの力とロジック プログラミングの宣言性を組み合わせて、制約ロジック プログラミングが可能になります。機能には、Prolog の ISO 標準への準拠、atom での補完を備えた対話型インタープリターの下での行編集機能、Prolog と C 間の双方向インターフェイス、スタンドアロンの実行可能ファイルを生成するネイティブ コード コンパイラー、さまざまなファイルを受け入れる単純なコマンド ライン コンパイラー、事前定義されたファイルが含まれます。制約: 算術制約、ブール制約、シンボリック制約、具体化された制約、事前定義された列挙ヒューリスティック、およびユーザーは独自の新しい制約を定義できます。