Prolog date_time_stamp

Question

尝试在prolog中创建一个规则，它将询问在给定日期之前是否有任何消息在两个人之间发送(其中两个人都可以是消息的接收者或发送者)。调用是否正确后，打印两个用户在给定时间之前交换过消息的所有日志。

到目前为止我想，

msgbefore(X,Y,D) :-
    message(X,Y,D1),
    date_time_stamp(D),
    date_time_stamp(D1),
    D1 < D, 
message(Y,X,D1),
    date_time_stamp(D),
    date_time_stamp(D1),
    D1 < D.

数据库由以下部分组成：

message(sonny,robert,'2012-05-12').
message(robert,sarah,'2012-05-12').
message(julie,mary,'2012-05-12').
message(fred,nayna,'2012-05-13').
message(fred,daniel,'2012-05-14').
message(nayna,lucia,'2012-05-15').

请帮帮我

Answer 1

提示一下：date_time_stamp需要2个参数，使用起来相当困难，但是由于您的日期是以标准形式提供的原子，所以您可以直接比较它们。例如

1 ?- message(A,B,Date),Date @< '2012-05-13'.
A = sonny,
B = robert,
Date = '2012-05-12' ;
...