两个原子公式如何统一？

Question

我已经了解loves(bob,Y) and loves(X,santa)可以统一，因为{Y\santa,X\bob}。但是，我不确定以下内容是否可以统一：

m(a,X) and n(Y,b)

Answer 1

为了统一，仿函数必须完全匹配。那就是m和n是两个不同的函子，因此整个表达式无法统一。在第一个例子中，两个表达式的仿函数是相同的。