| ||||||||||
| 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. | ||||||||||
|
| Back> |
|