0

我正在编写一个解决逻辑难题的 Prolog 程序。当试图打印出答案时，它给了我所有答案的相同答案。逻辑难题的答案是：

  • 吉纳维芙买了一个 4 号的曼扎里塔
  • lucia 买了一个 7 号的 Graffetz
  • 肖娜买了一件 5 号的威利福德
  • vanessa 买了 6 号 Abbot Hill

我的代码如下：

customer(genevieve).
customer(lucia).
customer(shawna).
customer(vanessa).

shoesize(4).
shoesize(5).
shoesize(6).
shoesize(7).

manufactorer(abbothill).
manufactorer(manzarita).
manufactorer(graffetz).
manufactorer(williford).

solve :-
   shoesize(GenevieveShoesize),
   shoesize(LuciaShoesize),
   shoesize(ShawnaShoesize),
   shoesize(VanessaShoesize),
   all_different([GenevieveShoesize, LuciaShoesize, ShawnaShoesize,     VanessaShoesize]),
   manufactorer(AbbotHillManufactorer),
   manufactorer(ManzaritaManufactorer),
   manufactorer(GraffetzManufactorer),
   manufactorer(WillifordManufactorer),

   all_different([AbbotHillManufactorer, ManzaritaManufactorer, 
    GraffetzManufactorer, WillifordManufactorer]),
   List = [ [genevieve,GenevieveShoesize,AbbotHillManufactorer],
      [lucia,LuciaShoesize,ManzaritaManufactorer],
      [shawna,ShawnaShoesize,GraffetzManufactorer],
      [vanessa,VanessaShoesize,WillifordManufactorer]],

   \+(member([_,5,manzarita],List)),
   \+(member([_,6,manzarita],List)),
   \+(member([lucia,5,_],List)),
   \+(member([lucia,6,_],List)),
   \+(member([genevieve,_,abbothill],List)),
   \+(member([shawna,_,graffetz],List)),
   (member([vanessa,_,abbothill],List)),

   tell(genevieve,GenevieveShoesize,GeneieveManufactorer),
   tell(lucia,LuciaShoesize,LuciaManufactorer),
   tell(shawna,ShawnaShoesize,ShawnaManufactorer),
   tell(vanessa,VanessaShoesize,VanessaManufactorer).

all_different([H | T]) :- member(H,T), !, fail.
all_different([_ | T]) :- all_different(T).
all_different([]).


tell(X,Y,Z) :-
   customer(X),
   shoesize(Y),
   manufactorer(Z),
   write(X), write(' got their shoes from'),
   write(Y), write(' and is a size '), write(Z), nl.

当我去 SWI 并要求它：

-tell(X,Y,Z) 它输出：X 等于genevieve，Y 等于4，Z 等于方丈山。

如果我指定变量之一，例如tell(vanessa,Y,Z)，它将打印出：vanessa买了一个4号的方丈山；保持 Y 和 Z 的值相同。

4

1 回答 1

0

逻辑谜题的答案是：-genevieve 买了 4 码的 manzarita -lucia 买了 7 码 Graffetz -shawna 买了 5 码 williford -vanessa 买了 6 码 Abbot Hill”

如果这些是难题的唯一答案，那么您的逻辑是错误的，您的代码会产生比这更多的答案。

以下是根据您的程序的一些解决方案：

X = genevieve,
Y = 4,
Z = abbothill ;
genevieve got their shoes from4 and is a size manzarita
X = genevieve,
Y = 4,
Z = manzarita ;
genevieve got their shoes from4 and is a size graffetz
X = genevieve,
Y = 4,
Z = graffetz ;
genevieve got their shoes from4 and is a size williford
X = genevieve,
Y = 4,
Z = williford ;
genevieve got their shoes from5 and is a size abbothill
X = genevieve,
Y = 5,
Z = abbothill ;
genevieve got their shoes from5 and is a size manzarita
X = genevieve,
Y = 5,
Z = manzarita ;
genevieve got their shoes from5 and is a size graffetz
X = genevieve,
Y = 5,
Z = graffetz ;
genevieve got their shoes from5 and is a size williford
X = genevieve,
Y = 5,
Z = williford ;

如果您想找到所有独特的解决方案，您可以运行：setof((X,Y,Z), tell(X,Y,Z), Y).

根据您的程序生成64种有效的不同解决方案。

如果我指定变量之一，例如tell(vanessa,Y,Z)，它将打印出：vanessa买了一个4号的方丈山；保持 Y 和 Z 的值相同。

它不会留下相同的值Y，Z它只是意味着这Y = 4, Z = abbothill是第一个解决方案X = vanessa，您可以生成下一个解决方案，;您会看到Y并且Z并不总是相同，例如：

?- tell(vanessa,Y,Z).
vanessa got their shoes from4 and is a size abbothill
Y = 4,
Z = abbothill ;
vanessa got their shoes from4 and is a size manzarita
Y = 4,
Z = manzarita ;
vanessa got their shoes from4 and is a size graffetz
Y = 4,
Z = graffetz ;
vanessa got their shoes from4 and is a size williford
Y = 4,
Z = williford ;
vanessa got their shoes from5 and is a size abbothill
Y = 5,
Z = abbothill ;

编辑：如果这是您要解决的逻辑难题：

有 4 位顾客：Genevieve、Lucia、Shawna、Vanessa

有 4 种鞋码：4、5、6、7

有 4 家鞋厂：Abbott Hill、Manzarita、Graffetz、Williford

  1. 在 Manzarita 和 Lucia 的那双鞋中，一个是 7 号，另一个是 4 号。

  2. Genevieve 的鞋子比 Abbott Hill 的鞋子小 2 码。

  3. Vanessa 的这双鞋比 Genevieve 的鞋大 2 码。

  4. Graffetz 的鞋子比 Shawna 的鞋子要大一些。

对于每位顾客，请以类似于以下的格式显示他们的姓名、鞋码和鞋的制造商：

乔买了 13 号耐克。

汤姆买了 12 码的锐步。

你可以使用这样的东西：

customer(genevieve).
customer(lucia).
customer(shawna).
customer(vanessa).

shoesize(4).
shoesize(5).
shoesize(6).
shoesize(7).

manufactorer(abbothill).
manufactorer(manzarita).
manufactorer(graffetz).
manufactorer(williford).

four_or_seven(L):-
    member((lucia, 7, _), L),
    member((_, 4, manzarita), L).
four_or_seven(L):-
    member((lucia, 4, _), L),
    member((_, 7, manzarita), L).

less_than_abbott_hill(L):-
    member((genevieve, S0, _), L),
    member((_, S1, abbothill), L),
    S0 is S1-2.

vanessa_larger_than_genevieve(L):-
    member((vanessa, S0, _), L),
    member((genevieve, S1, _), L),
    S0 is S1+2.

graffetz_larger_than_shawna(L):-
    member((shawna, S0, _), L),
    member((_, S1, graffetz), L),
    S1 > S0.

solve:-
    shoesize(S0), manufactorer(M0),
    shoesize(S1), manufactorer(M1),
    shoesize(S2), manufactorer(M2),
    shoesize(S3), manufactorer(M3),
    all_different([M0,M1,M2,M3]),
    L = [(genevieve, S0, M0), (lucia, S1, M1), (shawna, S2, M2), (vanessa, S3, M3)],
    four_or_seven(L),
    less_than_abbott_hill(L),
    vanessa_larger_than_genevieve(L),
    graffetz_larger_than_shawna(L),
    print(L).

all_different([H | T]) :- member(H,T), !, fail.
all_different([_ | T]) :- all_different(T).
all_different([]).

print([(C, S, M)|T]):-
    format("~p bhought a size ~p ~p~n", [C,S,M]),
    print(T).

print([]).

请注意，这个难题有多种解决方案，示例运行：

?- [puzzle].
true.

?- solve.
genevieve bhought a size 4 manzarita
lucia bhought a size 7 graffetz
shawna bhought a size 4 williford
vanessa bhought a size 6 abbothill
true ;
genevieve bhought a size 4 manzarita
lucia bhought a size 7 graffetz
shawna bhought a size 5 williford
vanessa bhought a size 6 abbothill
true
于 2017-05-08T06:57:45.673 回答