GNU Prolog (32-bit) 1.4.3

GNU Prolog (32 ビット) は、有限領域での制約解決を提供する、強力で無料の Prolog コンパイラです。このソフトウェアは、複雑なプログラムを簡単に作成する必要がある開発者向けに設計されています。 GNU Prolog は制約プログラムを含む Prolog を受け入れ、gcc が C ソースから行うように、ネイティブ バイナリを生成します。取得した実行可能ファイルはスタンドアロンです。つまり、追加のソフトウェアやライブラリを必要とせずに、任意のコンピューターで実行できます。

GNU Prolog の最も重要な利点の 1 つは、サイズが小さいことです。このソフトウェアは、ほとんどの未使用の組み込み述語のコードをリンクすることを回避できるため、実行可能ファイルのサイズは非常に小さくなります。これは、ユーザーのコンピューターのスペースをあまり占有しない軽量アプリケーションを作成したい開発者にとって理想的です。

GNU Prolog のパフォーマンスも非常に有望であり、商用システムに匹敵します。これは、このソフトウェアを使用するたびに、迅速かつ効率的な結果を提供できることを意味します。

ネイティブ コードのコンパイルに加えて、GNU Prolog は、デバッガーを備えた従来のインタープリター (トップレベル) を提供します。インタープリターを使用すると、コードをインタラクティブにテストし、開発中に発生した問題をデバッグできます。

Prolog 部分は、実際に非常に役立つ多くの拡張 (グローバル変数、OS インターフェイス、およびソケット) を備えた Prolog の ISO 標準に準拠しています。これは、このソフトウェアを使用するたびに信頼できる結果を提供できることを意味します。

GNU Prolog には、Finite Domains (FD) に対する効率的な制約ソルバーも含まれています。これにより、制約プログラミングの力とロジック プログラミングの宣言性を組み合わせて、制約ロジック プログラミングが可能になります。

特徴：

- プロローグはISO規格に準拠

- アトムの補完機能を備えた対話型インタープリターの下での行編集機能

- prologue と C 間の双方向インターフェース

- スタンドアロンの実行可能ファイルを生成するネイティブ コード コンパイラ

- さまざまなファイルを受け入れるシンプルなコマンドライン コンパイラ

- 定義済みの制約: 算術制約、ブール制約、記号制約、具体化された制約。

- 事前定義された列挙ヒューリスティック。

- ユーザー定義の新しい制約

要約すれば：

有限領域で制約を解決する強力で無料のプロローグ コンパイラを探しているなら、GNU プロローグ 32 ビット以上のものを探す必要はありません!直感的なユーザー インターフェイスによって結合された小さいサイズでありながら印象的なパフォーマンス機能を備えたこのプログラムは、初心者だけでなく経験豊富なプログラマーにも最適です。