Подстановка в логике первого порядка

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))

быть унифицированным с использованием синтаксического унификации ?

Нет.

Чтобы было легче понять, подумайте о нем как о

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).