MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
Dedicated technical support for IF/Prolog ended Dec 31 2008.
This site is maintained as a community service only.
IF/Prologには、単純なベンチマークテスト(naive list reverse)が含まれています。以下の例では、Lは論理推論の中で実行スピード(秒)で返します。
以下のようにタイプして下さい。
$ cd $PROROOT/demos/benchmarks
$ ifprolog -c lips.pro
< IF/Prolog startup message>
?- test(100, L).
L = ......
?-
|