Унифицируются ли и Как унифицируются следующие выражения: f(X, g(Y), h(Y)) U(h(A), g(g1(X)), Z)
(Отметьте один правильный вариант ответа.)
Варианты ответа
X= h(A), Y=g1(X), Z=h(Y), U=f
не унифицируются
Z=h(g1(h(A))), U=f
X= h(A), Y=g1(h(A)), Z=h(g1(h(A))), U=f(Верный ответ)