GNU Prolog (64-bit) 1.4.3

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