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.
Xは、グリニッジ標準時、1970年1月1日0:00:00からの経過秒数を表す整数に単一化されます。
操作の前と後でtimeを呼ぶことによって、経過した時間が計算できます。
timeは、localtime/9と共に使うと便利です。timeによって返される値は、localtimeの第１引数の値と同一です。
?- X is time,
[colleague],
Y is time,
Consult_Time is Y - X.
consult: file colleague loaded in 3 sec.
X = 646433067
Y = 646433070
Consult_Time = 3
yes
?- localtime( time ,Y,M,D,_,_,H,Mn,_).
Y = 90
M = 6
D = 26
H = 16
Mn = 45
yes
?- _
| 
