0

任务：众所周知，独角兽会在周一、周二和周三撒谎，并在一周的所有其他日子里说真话。他可以说：“昨天我撒了谎。明天之后，我会连续躺两天。” 确定谈话的日期。

把代码草绘了，但是不知道怎么说独角兽连续两天撒谎，更正代码，先谢谢了。

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).
4

2 回答 2

0

这是一个简单的逻辑，它实现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 ;
于 2019-12-03T14:11:28.013 回答
0

次日刊

写出follows谓词而不是yesterday为了清楚起见。您可以用 选择“明天” follows(Today, Tomorrow)、后天follows(Tomorrow, Overmorrow)和从今天起的三天follows(Overmorrow, ThreeDays)。Yesterday可以来自follows(Yesterday, Today)。在和Yesterday上执行您的会员规则。OvermorrowThreeDays

说谎的独角兽问题

你有一个语义错误。如果独角兽说的是真话（通过可能性！），没有答案。因此，您真的在寻找他撒谎的那一天，而“昨天，我没有撒谎”是真的。明天以后，我不会连续两天撒谎”。换句话说，星期一。

您将需要编写一个谓词，说明要么Today是不说谎的日子并且谓词says(Animal, Today)是真的，要么Today是说谎的日子并且says(Animal, Today) 是假的。

我将把方法留给你。

于 2019-11-10T01:55:24.647 回答