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