存在一个逻辑问题: 四个朋友:伊万,彼得,米哈伊尔,谢尔盖以不同的方式度过时光:两个人在下棋,一个人看书,一个人看电视。如果谢尔盖没下棋,那么发现谁做了什么,而彼得没有看电视。
这是我的解决方案:
PREDICATES
question(string,string,string,string)
friend(string)
readBook(string)
watchTV(string)
playsChess(string, string)
CLAUSES
friend(ivan).
friend(petr).
friend(mikhail).
friend(sergey).
readBook(X):-
friend(X).
watchTV(X):-
friend(X),
X<>"petr".
playsChess(X,Y):-
friend(X),
friend(Y),
X<>Y,
X<>"sergey",
Y<>"sergey".
question(A,B,C,D):-
friend(A),
friend(B),
friend(C),
friend(D),
playsChess(A,B),
readBook(C),
watchTV(D),
A<>B, A<>C, A<>D,
B<>C, B<>D,
C<>D.
GOAL
question(A,B,C,D).
我有以下解决方案:
A=ivan, B=petr, C=mikhail, D=sergey (1)
A=ivan, B=petr, C=sergey, D=mikhail (2)
A=ivan, B=mikhail, C=petr, D=sergey (3)
A=petr, B=ivan, C=mikhail, D=sergey (4)
A=petr, B=ivan, C=sergey, D=mikhail (5)
A=petr, B=mikhail, C=ivan, D=sergey (6)
A=petr, B=mikhail, C=sergey, D=ivan (7)
A=mikhail, B=ivan, C=petr, D=sergey (8)
A=mikhail, B=petr, C=ivan, D=sergey (9)
A=mikhail, B=petr, C=sergey, D=ivan (10)
10 Solutions
但有些线是多余的,因为它们是A和B组合。例如线(1)和(4)(A = ivan,B = petr和A = petr,B = ivan)。
我试着在这里使用!
:
playsChess(X,Y):-!,
friend(X),
friend(Y),
X<>Y,
X<>"sergey",
Y<>"sergey".
但没有效果。 所以问题是:如何摆脱多余的解决方案结果?
答案 0 :(得分:3)
考虑使用您为每位朋友介绍的变量来直接表示与该人相对应的活动:
friends([ivan=Ivan,petr=Petr,mikhail=Mikhail,sergey=Sergey]) :-
Fs0 = [Ivan,Petr,Mikhail,Sergey],
dif(Sergey, chess),
dif(Petr, tv),
select(books, Fs0, Fs1),
select(tv, Fs1, [chess,chess]).
示例查询及其结果:
?- friends(Fs).
Fs = [ivan=books, petr=chess, mikhail=chess, sergey=tv] ;
Fs = [ivan=chess, petr=books, mikhail=chess, sergey=tv] ;
Fs = [ivan=chess, petr=chess, mikhail=books, sergey=tv] ;
Fs = [ivan=tv, petr=chess, mikhail=chess, sergey=books] ;
Fs = [ivan=chess, petr=chess, mikhail=tv, sergey=books] ;
false.
答案 1 :(得分:2)
解决问题的最简单方法是进一步限制A
和B
,并强迫一个人做出更大的&#34;比另一个。我不确定这是否是Visual Prolog中的语法,但试试这个。请注意使用A > B
代替A <> B
。
question(A,B,C,D):-
friend(A),
friend(B),
friend(C),
friend(D),
playsChess(A,B),
readBook(C),
watchTV(D),
A > B, A<>C, A<>D,
B<>C, B<>D,
C<>D.
通过约束>
代替<>
,您将确保您不会遇到对称案例。例如,a > b
为false,但a < b
为真。但是,a <> b
和b <> a
都是正确的,因此<>
同时提供a, b
和b, a
。
你的剪切(!
)什么也没做,因为当你在只有一个这样的子句的谓词上使用它时:
my_predicate(...) :- !, subqueries ...
它只是告诉Prolog不要在第一个子查询的开头之后回溯。由于无论如何都没有其他my_predicate
条款可以回溯,因此它没有效果。