MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
簡単なベンチマ−クテスト（naive list reverse）が、IF/Prologのインスト−ルテ−プに含まれています。例題中の L は、1秒当りの推論回数を表しています。以下のようにしてベンチマ−クテストを実行して下さい。
$ SET DEFAULT DUAL:[ifprolog.demos.benchmarks]
インタプリタでは
$ ifprolog -c lips.pro
IF/Prologの起動メッセージ...
?- test(100,L).
コンパイラでは
$ ifsem lips
... コンパイラメッセージ
$ ifprolog -l lips.sem
IF/Prologの起動メッセージ...
?- for(1,I,10),test(200,L),write(L),nl,fail.
|
