gprolog-1.3.1.tar.gz (gprolog-1.3.1.tar.gz( 外部リンク: SF.net): 2,949,369 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。
GNU Prologはフリーで実装（GPLのもとで）された論理型プログラミング言語Prologです。これは非常に高速に実行されるネイティブコードにコンパイルすることができます。もう1つの特徴は、含まれている制約ソルバです。
