cpu時間
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.
経過したcpu時間(単位は秒)は、Xに単一化されます。経過時間は、オペレ−ションの前後の時刻を調べることによって計算できます。
?- X is cputime, consult(colleague),
Y is cputime,
CPU_Time is Y - X.
consult: file colleague loaded in 5 sec.
X = 1.61
Y = 2.23
CPU_Time = 0.62
yes
?- _
Up
read on...