0

我正在尝试解决此处发现的逻辑难题：https ://www.braingle.com/brainteasers/teaser.php?id=23826&op=2&comm=1#c

这些是线索：

  1. 鲜花的购买顺序如下：郁金香、办公室的花、紫色的花、公园的玫瑰和朱莉娅买的白花。

  2. Bethany 喜欢花，但她过敏，所以她永远不会在室内养花。

  3. 周三和周五下雨，因此，婚礼和生日派对不得不搬到室内。

  4. 艾米在瑞秋之后买了她的花，但在克里斯汀之前。

  5. Rachel 需要为她的办公室增添一些东西，所以她选择了桃花来搭配她的窗帘。

  6. 周三，花店里仅有的紫色花朵是雏菊。

  7. 粉红色的花朵是在康乃馨之后，百合之前买的。

  8. 生日花是在办公室花之后，婚礼花之前买的。

我试图用以下代码在序言中实现这一点：

/*
Use a nested predicate of flowers to store the solution

flowers(
  f(Woman1,Flower1,Color1,Place1,Day1),
  f(Woman2,Flower2,Color2,Place2,Day2),
  f(Woman3,Flower3,Color3,Place3,Day3),
  f(Woman4,Flower4,Color4,Place4,Day4),
  f(Woman5,Flower5,Color5,Place5,Day5)
).
*/

/* The flowers predicate contains a given flower X */
has(X,F) :- F=flowers(X,_,_,_,_).
has(X,F) :- F=flowers(_,X,_,_,_).
has(X,F) :- F=flowers(_,_,X,_,_).
has(X,F) :- F=flowers(_,_,_,X,_).
has(X,F) :- F=flowers(_,_,_,_,X).

/*Defines that X occurs on an earlier day than Y */
before(X,Y,F) :- append(_,[X|Tail], F), append(_,[Y|_],Tail).


solve(F) :-
  F = flowers(A,B,C,D,E),
/*clue 1 */
  A = f(_,tulips,yellow,_,monday),
  B = f(_,_,_,office,tuesday),
  C = f(_,_,purple,_,wednesday),
  D = f(_,roses,_,park,thursday),
  E = f(julia,_,white,_,friday),
/* Clue 2 --> Look @ clue 3, Bethany can only have flowers in backyard or park */
  has(f(bethany,_,_,backyard,_),F), 
  has(f(bethany,_,_,_,park,_),F),
/* Clue #4, Amy before Kristen, Rachel before Amy */
  before(f(amy,_,_,_,_),f(kristen,_,_,_,_),F),
  before(f(rachel,_,_,_,_),f(amy,_,_,_,_),F),
/* Clue #5 */
  has(f(rachel,_,peach,office,_),F),
/* Clue #6 */
  has(f(_,daisies,purple,_,wednesday),F),
/* Clue #7, pink before lillies, carnations before pink */
  before(f(_,_,pink,_,_),f(_,lilies,_,_,_),F),
  before(f(_,carnations,_,_,_),f(_,_,pink,_,_),F),
/* Clue #8 */
  before(f(_,_,_,birthday,_),f(_,_,_,wedding,_),F),
  before(f(_,_,_,office,_),f(_,_,_,birthday,_),F).

这似乎不起作用。我认为问题在于我的代码在定义一朵花之前发生在另一朵花之前，但我不确定这是否是问题以及如何解决它。另外，我认为说 Bethany 为后院或公园买花（不是婚礼、生日或办公室）是有问题的。

以下是谜题的答案：

朱莉娅：百合，白色，婚礼，星期五

艾米：雏菊，紫色，生日，星期三

伯大尼：郁金香，黄色，后院，星期一

瑞秋：康乃馨，桃子，办公室，星期二

克里斯汀：玫瑰，粉红，公园，星期四

4

1 回答 1

1

您before/3的谓词试图flowers(A,B,C,D,E)像处理一个列表一样处理。它总是失败。您需要对其进行定义[A,B,C,D,E]以使其正常工作。

如果您改为flowers(A,B,C,D,E)使用[A,B,C,D,E]内置谓词member/2而不是has/2.

所以，首先我这样做了：

writeln(X) :- write(X), nl.

writelist([]).
writelist([H|T]) :- writeln(H), writelist(T).

/*Defines that X occurs on an earlier day than Y */
before(X,Y,F) :- append(F0, F1, F), member(X, F0), member(Y, F1).

你还想说贝瑟尼在后院和公园里。它必须是一种or关系。

这是我的版本solve/1：

solve(F) :-
/*clue 1 */
    F = [
        f(_,tulips,yellow,_,monday),
        f(_,_,_,office,tuesday),
        f(_,_,purple,_,wednesday),
        f(_,roses,_,park,thursday),
        f(julia,_,white,_,friday)
    ],
/* Clue 2 --> Look @ clue 3, Bethany can only have flowers in backyard or park */
    (member(f(bethany,_,_,backyard,_),F);
        member(f(bethany,_,_,_,park,_),F)),
/* Clue #4, Amy before Kristen, Rachel before Amy */
    before(f(amy,_,_,_,_),f(kristen,_,_,_,_),F),
    before(f(rachel,_,_,_,_),f(amy,_,_,_,_),F),
/* Clue #5 */
    member(f(rachel,_,peach,office,_),F),
/* Clue #6 */
    member(f(_,daisies,purple,_,wednesday),F),
/* Clue #7, pink before lillies, carnations before pink */
    before(f(_,_,pink,_,_),f(_,lilies,_,_,_),F),
    before(f(_,carnations,_,_,_),f(_,_,pink,_,_),F),
/* Clue #8 */
    before(f(_,_,_,birthday,_),f(_,_,_,wedding,_),F),
    before(f(_,_,_,office,_),f(_,_,_,birthday,_),F),
    true.

现在，当我查询时，?- solve(F), writelist(F).我得到了这个：

f（伯大尼，郁金香，黄色，后院，星期一）
f（瑞秋，康乃馨，桃子，办公室，星期二）
f（艾米，雏菊，紫色，生日，星期三）
f（克里斯汀，玫瑰，粉红色，公园，星期四）
f（朱莉娅，百合，白色，婚礼，星期五）
是的。
于 2020-04-01T11:40:30.363 回答