列表中的唯一元素（Prolog）

Question

列表中的唯一元素（Prolog）

5

我正在实现爱因斯坦谜题的一个变体，但遇到了一些困难。

在尝试计算解决方案时，我尝试了这个方法：

solve(Street) :- Street = [_House1,_House2,_House3,_House4,_House5],
%hint one goes here
%hint two goes here
%etc.

我可以通过输入以下命令来寻求解决方案: solve(Street)

然而，这个解决方案如下:

house(flower, food, pet, sport)
house(flower, food, pet, sport)
house(x , food, pet, sport)
house(flower, food, pet, sport)
house(x, flower, pet, sport)

正如您所看到的，有两个x，其余都是各种食物、花卉、宠物和运动。但每种类型都是唯一的：如果一个人喜欢花X，其他人就不能喜欢X。

现在，我的解决方案为什么会出现2个x很容易理解：我们得到了一些提示，但所有的提示中只提到了4种花。因此Prolog不知道还有另一种花，只是使用了两次x，因为这是可能的，并且满足所有其他提示。

我的意思是，Street中的所有食物、花卉等类型都是唯一的，所以当他已经使用了所有类型时，应该留下一些空白。3看起来像：house(x , food, pet ,sport)，5看起来像：house(_, flower, pet, sport)。

我也尝试将这个提示添加到提示中：member(house(cactus,_,_,_), Street)

然而，我的程序就不会结束...

提示可能是这样的： is_neighbour(house(_,_,_,football),house(_,_,fish,_), Street), 其中：is_neighbour(A,B,List)在List中A和B相邻时返回true。该提示可以翻译为：喜欢足球的人住在养鱼的人旁边。

如果需要提供更多信息，我很乐意解释。 :)

- Aerus

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Martin v. Löwis · Accepted Answer

为了表达没有任何花被报告两次的意思，并确保所有的花都被绑定，您可以使用permutation/2谓词：所有花的列表应该是指定花的列表的排列。这样就可以像这样阅读[未经测试]。

flowers([], []).
flowers([house(Flower,_,_,_)|Street], [Flower|Rest]) :- flowers(Street, Rest).

-- ...
   flowers(Street, Flowers), 
   permutation(Flowers, [kaktus, tulpe, nelke, rose, fingerhut]),

编辑：对于10朵花，使用排列可能太慢了。另一种方法是

flower(kaktus).
flower(tulpe).
flower(nelke).
--...

       flowers(Street,[F1,F2,F3,F4,F5,F6,F7,F8,F9,F10]),
       flower(F1), flower(F2), F1\=F2,
       flower(F3), F3\=F1, F3\=F2,
       flower(F4), F4\=F1, F4\=F2, F4\=F3,
       --...