任务：已知独角兽在星期一，星期二和星期三躺着，并在一周的其他所有日子讲真话。他可以说：“昨天我撒了谎。明天以后，我将连续躺两天。确定对话的日期。
我草绘了代码，但我不知道怎么说独角兽连续两天说谎，请更正代码，在此先感谢。
yesterday(mon, sun).
yesterday(tue, mon).
yesterday(wed, tue).
yesterday(thu, wed).
yesterday(fri, thu).
yesterday(sat, fri).
yesterday(sun, sat).
lies([mon, tue, wed]).
tomorrow(Day, Tomorrow) :-
yesterday(Tomorrow, Day).
unicornLies1(Day) :-
lies(Days),
member(Day, Days).
unicornLies2(Day) :-
tomorrow(Day, Tomorrow),
unicornLies1(Day),
unicornLies1(Tomorrow).
sol:- unicornLies1(Day), unicornLies2(Day), write(Day).
这是一个简单的逻辑，它实现next_day并反过来用于获取前后的日期
day(X) :- member(X,[m,t,w,thu,f,sat,sun]).
lie(m).
lie(t).
lie(w).
truth(X) :- \+lie(X).
next(A, B, Ls) :- append(_, [A,B|_], Ls).
next_day(sun,m).
next_day(X,Y) :- next(X,Y,[m,t,w,thu,f,sat,sun]).
solve(X) :-
day(X),
(truth(X),next_day(Y,X),lie(Y),next_day(X,T),next_day(T,U),next_day(U,V),lie(U),lie(V));
(lie(X),next_day(Y,X),truth(Y),next_day(X,T),next_day(T,U),next_day(U,V),(truth(U);truth(V))).
运行时会给出一个结果-星期一
?- solve(X).
X = m ;
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句