5

TL;DR: sibling(a,X)答案成功X = a，但sibling(a,a)失败。

我有以下 Prolog 文件：

children(a, c).
children(a, d).
children(b, c).
children(b, d).

sibling(X, Y) :-
   X \== Y, A \== B,
   children(X, A), children(X, B),
   children(Y, A), children(Y, B).

对我来说似乎很清楚，如果他们的父母相同，两个人就是兄弟姐妹。此外，一个人不是他们自己的兄弟姐妹。

但是当我尝试在 GNU Prolog 上运行一些查询时，我得到了一些奇怪的结果：

| ?- sibling(a, b).

true ? a

true

true

yes

这是预期的行为。a并且b是兄弟姐妹。有三个结果，这有点奇怪，但我假设 Prolog 是绑定的A = c, B = d，并且A = d, B = c.

| ?- sibling(a, a).

no

我认为这意味着a并且a不是兄弟姐妹。

| ?- sibling(a, X).

X = a ? a

X = b

X = a

X = b

X = a

X = b

X = a

X = b

(15 ms) yes

这就是我卡住的地方：它说X = a，这意味着sibling(a,a)是真的，但在前面的查询中sibling(a,a) 失败了！

我觉得我不了解\==Prolog 中的实际作用。

发生了什么，我该如何解决？

4

2 回答 2

4

TL;DR：使用 — 或iso_dif/2（在等符合系统上）！

好问题，+1！

事实上，这是我问过自己的一个问题，答案与有关：逻辑纯度是 Prolog 作为一门语言如此特别的一个核心方面，因为它使您能够：

  • 描述——不是规定
  • 编写关系型代码——不仅仅是功能性的
  • 从问题/解决方案的角度思考——而不是搜索过程本身的各个步骤
  • 在更高的层次上运作——不要迷失在细节中

与许多其他编程语言不同，Prolog 程序具有过程语义（定义执行步骤及其顺序）和声明性语义（允许您声明应该保持的关系并让 Prolog 处理器自行找到正确的执行方式）。

但是，请注意： Prolog 的某些功能在使用时会破坏声明性语义。为了防止这种情况，请尝试将您的应用程序分为两部分：一个用于处理副作用（输入/输出）的不纯外壳和一个包含纯单调 Prolog 代码的逻辑纯基。

于 2015-10-31T06:32:27.757 回答
2

尝试将不等式移到谓词的末尾。也许它给了你真实的因为它还没有被实例化。

sibling(X,Y):- children(X, A), children(X, B),
               children(Y, A), children(Y, B),
               X \== Y, A \== B.
于 2015-10-31T05:01:15.643 回答