プログラム gprolog.sf.net

GNUプロローグは、ロジックプログラミング言語PROLOGの自由な実装(GPLの下)です。これは、実行時に非常に高速であるネイティブマシンコードにコンパイルすることができます。もう 1 つの機能は、組み込み拘束ソルバーです。