Prologの現在時間の取得

質問

現在SWI-Prologの勉強をしています．
現在の時間を表示させたいのですが，うまくいきません．

7 ?- get_time(T).
T = 1.21413e+009.

9 ?- stamp_date_time(1.21413e+009,D,0).
D = date(2008, 6, 22, 10, 20, 0.0, 0, -, -).

プログラム実行時の時間は２０：０３分なのに，
１０：２０分でずれがあります．しかも，get_time（T）は
いつ実行しても同じ結果が出てしまい，現在の時間を表示さ
せてくれません（１９：４０に実行したときも同じ結果）．
どうすれば現在の時間を表示させることができるでしょうか？

ご教授願います．

回答No.1

rabbit_cat · ベストアンサー

＞ T = 1.21413e+009.
ていうのは、多分、数字の上のほうの桁しか表示されてないだけだと思う。
?- get_time(T), format(~f',T).
てして、小数点以下まで表示してみれば毎回違う数字になるのでは。

stamp_date_timeの結果が毎回同じなのも、1.21413e+009ていう四捨五入されている数字をいれているから。

?- get_time(T), stamp_date_time(T,D,0).
て感じ、でget_timeで得た値をそのままstamp_date_timeに入れないと駄目。

補足

get_time(T), stamp_date_time(T,D,0).
では実行できました！！
ありがとうございます．

でも，?- get_time(T), format(~f',T).を実行すると
結果が出ないで入力待ちの状態になってしまします．
どうすれば小数点以下まで表示されるのでしょうか？

回答No.2

rabbit_cat

?- get_time(T), format('~f',T).
’が抜けてました。