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