【发布时间】：2014-11-19 03:22:15
【问题描述】：
我了解到loves(bob,Y) and loves(X,santa) 可以统一因为{Y\santa,X\bob}。但是，我不确定以下是否可以统一：
m(a,X) and n(Y,b)
【问题讨论】：
-
你也可以试试 REPL：
?- m(a, X) = n(Y, b).
标签： prolog unification
【发布时间】：2014-11-19 03:22:15
【问题描述】：
为了统一，函子必须完全匹配。也就是说 m 和 n 是两个不同的函子，因此整个表达式不能统一。在第一个示例中，两个表达式的函子是相同的。
【讨论】：
-
我认为两个不同的功能也可以统一起来。现在我明白了。谢谢你，文森特。
-
Prolog 中的@Stella，它们不是函数，而是函子。它们不像其他语言那样表现为函数。 函子是一个包含其他术语（变量、函子、原子）的命名结构。