十亿秒

说明

你的任务是确定某个日期之后一吉秒的日期和时间。

一吉秒等于十亿秒。 也就是 1 后面有 9 个 0。

如果你出生在 2015 年 1 月 24 日 22:00（晚上 10 点），那么到 2046 年 10 月 2 日 23:46:40（晚上 11 点 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 章。