prolog - Prolog 中的时间比较

Question

假设我有一个结构time，其格式为time(小时，分钟)。我将如何编写规则来比较它们？类似于compareTime(time1,time2)，如果time1严格早于time2，则返回yes。

在使用 C 多年之后，我刚刚开始使用 Prolog，整个语言对我来说非常非常困惑。

Answer 1

标准 compare/3 谓词已经满足您的要求:

?- compare(O, time(1,1), time(1,1)).
O = (=).

?- compare(O, time(1,1), time(1,2)).
O = (<).

?- compare(O, time(1,3), time(1,2)).
O = (>).

?- compare(O, time(1,3), time(2,2)).
O = (<).

?- compare(O, time(3,2), time(2,2)).
O = (>).

所以...

earlier(T1, T2) :- compare((<), T1, T2).