为什么我的谓词不起作用，而类似的谓词却起作用？

Question

我有以下事实：

loves(andy, julia).
loves(andrew, maria).
loves(bob, sofia).
loved(juila).
loved(maria).
loved(sofia).

和我想要两个谓词：

do_love(X, Y) :- ...
is_loved(X, Y) :- ...

返回 Y 作为人名，X 作为事实本身。对于loved 事实，我写道：

is_loved(X, Y) :- X = loved(Y), X.

正如预期的那样，返回：

is_loved(X,Y).
X = loved(juila),
Y = juila ;
X = loved(maria),
Y = maria ;
X = loved(sofia),
Y = sofia.

但是，当我以类似的方式为loves 事实编写谓词时：

do_love(X, Y) :- X = loves(X, Y), X.

它为查询返回 false：

do_love(X,Y).
false.

我是 prolog 的新手，真的不明白为什么会这样。 为什么is_loved 的查询有效，而do_love 的查询无效？

Answer 1

问题是你试图用两个不同的值来统一X：

• X = loves(...) 和
• loves(X, ...)

（我使用... 截断，因为这些部分与我所说的无关）。

换句话说，您的do_love 谓词是说“X 必须与loves 谓词统一”并且“X 必须与loves 谓词中的第一个参数统一”。使用您设置的数据集，没有一个值可以同时满足这两个要求。

根据您要执行的操作，这可能是您想要的：

do_love(X, Y) :- loves(X, Y).

旁注 1： 谓词不会像在其他语言中的函数那样“返回”值。您不需要谓词中的 , X 来使它们起作用。

旁注 2：= 是“统一”运算符，而不是像其他语言那样的“赋值”。请参阅this page 了解更多信息。