prolog - prolog 的独特结果

Question

有没有一种简单的方法可以让 prolog 中的查询只返回每个结果一次？

例如我正在尝试类似的东西:

deadly(Xn) :- scary(X), Xn is X - 1, Xp is X + 1, not(safe(Xn)), safe(Xp).
deadly(Xp) :- scary(X), Xn is X - 1, Xp is X + 1, not(safe(Xp)), safe(Xn).

deadly(X).

并得到

X = 5

X = 5

X = 5

X = 5

....

对我没用。

Answer 1

您可以做的一件事是申请 setof/3到生成解决方案的谓词。但请注意 setof/3通过应用 sort/2 实现到 bagof/3 传递的结果(至少在 SWI-Prolog 中是这样)。因此，如果您的解决方案生成器永远运行，那么 setof/3永远不会被应用...

所以我会说尝试编程以便不生成重复项，即通过在有意义的地方使用剪切(!)。