GNU Prologは有限領域にわたって解決制約との自由のPrologコンパイラです。 GNU Prologは制約プログラムとプロローグを受け入れ、(gccがCソースからないように)ネイティブバイナリを生成します。得られた実行可能ファイルは、その後スタンドアロンです。 GNU Prologのは、ほとんど未使用の組み込み述語のコードをリンクする避けることができますので、この実行可能ファイルのサイズを小さくすることができる。...

GNU Prologは有限領域にわたって解決制約との自由のPrologコンパイラです。 GNU Prologは制約プログラムとプロローグを受け入れ、(gccがCソースからないように)ネイティブバイナリを生成します。得られた実行可能ファイルは、その後スタンドアロンです。 GNU Prologのは、ほとんど未使用の組み込み述語のコードをリンクする避けることができますので、この実行可能ファイルのサイズを小さくすることができる。...