例題: ベンチマークテストの実行
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.

Up read on...