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