Унифицируются ли и Как унифицируются следующие выражения: 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=f
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)))
Z=h(f(h(a))), X=h(a), Y=f(h(a)) F=f(Верный ответ)
не унифицируются