一阶逻辑的替代

Question

我必须告诉以下几对表达式是否统一。

这是任务：

f(g(a, X), g(X, b)) = f(g(a, b, c, d))

我知道在给定一组表达式的情况下，如果给定替换的集合中所有术语都相同，则替换是该集合的统一符，因此，仅当存在一个替换项时，该集合才是不统一的该集。问题是我找不到该任务的解决方案，不能确定地说是否有统一符。

Answer 1

可以

 f(g(a, X), g(X, b)) = f(g(a, b, c, d))

使用syntactic unification统一吗？

否。

为了更容易理解它，

f(A,B) = f(C).

f(A,B)与f(C)不统一

因为

g(a, X), g(X, b)与g(a, b, c, d)

不统一

第一个是两个单独的参数g(a,X)和g(X,b)，而第二个只是一个参数g(a,b,c,d)。