ベンチマークテストの実行
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.
IF/Prologには、単純なベンチマークテスト(naive list reverse)が含まれています。以下の例では、Lは論理推論の中で実行スピード(秒)で返します。
以下のようにタイプして下さい。
$ cd $PROROOT/demos/benchmarks
$ ifprolog -c lips.pro
＜ IF/Prolog startup message＞
?- test(100, L).
L = ......
?-
Darueber
read on...