我們測量時間的方式其實有點亂。 一分鐘有 60 秒,一小時有 60 分鐘。 這來自古巴比倫,他們以 60 作為數字系統的基礎。 一天有 24 小時,一週有 7 天,那一個月有幾天呢? 一個月有幾天,不只取決於是哪一個月,也取決於你住的國家使用哪一種曆法。
那如果我們改用秒來表示時間間隔呢? 這樣一來,我們就能用公制前綴,把大量的秒數寫成更容易理解的數量。
如果我們哪天真在火星或其他星球上殖民,測量時間只會變得更麻煩。 如果有人說「一年」,指的是地球上的一年,還是火星上的一年?
這個練習的靈感來自 Vernor Vinge 的科幻小說 A Deepness in the Sky,作者在書中以公制作為時間測量的基礎。
你的任務是判斷某個日期過了一個十億秒之後的日期和時間。
一個十億秒等於一千個百萬秒,也就是 1 後面加上九個零。
如果你出生於_2015 年 1 月 24 日 22:00(晚上 10:00:00)_,那麼你在_2046 年 10 月 2 日 23:46:40(晚上 11:46:40)_就滿一個十億秒了。
Prolog 內建的日期支援相當基本。雖然只用 Prolog 內建的功能就能解這道練習,但透過 date_time 套件來處理日期會輕鬆許多。
如果你的 Swipl 版本還算新,可以執行以下指令來安裝套件:
swipl pack install date_time
如果這樣行不通,可以執行:
swipl -g 'pack_install(date_time)'
如果你使用的是線上編輯器,就不需要手動安裝任何東西。
在解答檔案最上方加入以下程式碼,即可使用date_time套件:
:- use_module(library(date_time)).
提示:date_time 套件的原始碼有完整的文件說明,會是很大的幫助!