ギガ秒

説明

ある日時から1ギガ秒後の日時を求めるのが、この演習の課題です。

1ギガ秒は10億秒です。 つまり、1のあとに0が9つ続く数です。

もし、_2015年1月24日の22時_に生まれたなら、1ギガ秒を迎えるのは_2046年10月2日の23時46分40秒_です。

Prologで日付を扱う

Prologに標準で備わっている日付のサポートはかなり初歩的です。Prologに標準で備わっている機能だけでもこの演習は解けますが、日付を扱うならdate_timeパッケージを使うほうがずっと快適です。

date_timeパッケージのインストール

インストールされているSwiplのバージョンが十分に新しい場合は、次のコマンドを実行してパッケージをインストールできます。

swipl pack install date_time

うまくいかない場合は、次のように実行してみてください。

swipl -g 'pack_install(date_time)'

date_timeパッケージを使う

date_timeパッケージを使うには、解答ファイルの先頭に次のコードを追加します。

:- use_module(library(date_time)).

---

出典

Chris Pineのオンラインチュートリアル『Learn to Program』の第9章。