|
|
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 = ...... ?-
| document: http://www.ifcomputer.co.jp/IFProlog/Manuals/v4.1/installation/general_unix/example/print_en.html published 2008/7/21 update 1995/11/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
