Prolog整数比较

Question

大家好，我在Prolog中有一个简单的时钟，每隔5分钟测量一次时间

nextTime(Hrs:Mins1, Hrs:Mins2) :- nextMins(Mins1, Mins2).
nextTime(Hrs1:'55', Hrs2:'00') :- nextHrs(Hrs1, Hrs2).
nextHrs('12', '13').
nextHrs('13', '14').
nextHrs('14', '15').
nextHrs('15', '16'). // and so on 
nextMins('00', '05').
nextMins('05', '10').
nextMins('10', '15').
nextMins('15', '20'). // and so on 

现在我想写一个谓词，它允许我说时间t2是在时间t1之后还是之前，这听起来很简单，但我不知道如何在谓词中比较两个整数。

我尝试了如下方法:

after(H1:M1, H2:M2) :- (H1 < H2).

或

arithmetic(X,Y) :- (X<Y).
after(H1:M1, H2:M2) :- arithmetic(H1,H2).

我真的是Prolog的新手，所以上面可能看起来很傻。所以我实际的问题是如何在Prolog的谓词定义中比较两个整数。

Answer 1

一个有用的Prolog功能，它的"术语的标准顺序"。然后你可以写

after(T1, T2) :- T1 @< T2.

Answer 2

你没有任何整数:你有原子。原子 '9'的比较值大于原子12。

只要你的原子总是2位十进制数字('09'而不是'9')，你可以使用compare/3:

after(H1:M1,H2,M2) :- compare( '>' , H1:M1 , H2:M2 ) .
on_or_after(H1:M1,H2:M2) :- compare( '>' , H1:M1 , H2:M2 ) .
on_or_after(H1:M1,H2:M2) :- compare( '=' , H1:M1 , H2:M2 ) .

等。

如果你改变谓词使用整数而不是原子

nextHrs(12, 13).
nextHrs(13, 14).
nextHrs(14, 15).
nextHrs(15, 16). // and so on  
nextMins(00, 05).
nextMins(05, 10).
nextMins(10, 15).
nextMins(15, 20). // and so on 

可以使用算术比较运算符，并简单地写如下:

compare_time( H1:M1 , H2:M2 , '<' ) :- H1 < H2 .
compare_time( H1:M1 , H1,M2 , '<' ) :- M1 < M2 .
compare_time( HH:MM , HH:MM , '=' ) .
compare_time( H1:M1 , H2:M2 , '>' ) :- H1 > H2 .
compare_time( H1:M1 , H1:M2 , '>' ) :- M1 > M2 .

如果您将原子始终保持为2位文本值，您仍然可以做同样的事情，但是您必须使用标准顺序的项操作符而不是算术比较操作符。

compare_time( H1:M1 , H2:M2 , '<' ) :- H1 @< H2 .
compare_time( H1:M1 , H1,M2 , '<' ) :- M1 @< M2 .
compare_time( HH:MM , HH:MM , '=' ) .
compare_time( H1:M1 , H2:M2 , '>' ) :- H1 @> H2 .
compare_time( H1:M1 , H1:M2 , '>' ) :- M1 @> M2 .