Унифицируются ли и Как унифицируются следующие выражения: ...

Стили и методы программирования

Унифицируются ли и Как унифицируются следующие выражения:

        			V(f(X,Y), U(Y), h(Y))        			U(V(a,b), g(b), Z)

(Отметьте один правильный вариант ответа.)

Варианты ответа

Z=h(b), U=g, V=f

X= a, Y=b, Z=h(Y), U=g, V=f

X= a, Y=b, Z=h(b), U=g, V=f

не унифицируются(Верный ответ)

Похожие вопросы

Унифицируются ли и Как унифицируются следующие выражения:

        		f(X, g(Y), h(Y))        		U(h(A), g(g1(X)), Z)

Унифицируются ли и Как унифицируются следующие выражения:

        		f(F(X), g(Y, h(Y)))         		F(h(a), g(F(X), Z))

Унифицируются ли и Как унифицируются следующие выражения:

        		f(X, g(Y), h(Y))         		f(h(X), g(g1(X)), Z)

Унифицируются ли и Как унифицируются следующие выражения:

        		f(X, g(Y, h(Y)))         		F(h(a), g(F(X), Z))

Унифицируются ли и Как унифицируются следующие выражения:

        		V(f(X,Y), U(Y), h(X))         		f(V(a,b), g(b), Z)

Программист написал следующие предложения, желая выполнить свой оператор proceed_with, имеющий побочный эффект вывода значений на экран и заканчивающийся корректной неудачей почти всегда, для всех начал списка X вплоть до успеха действий:

        		my_call(H,X):- not(X=[]), proceed_with(H).         		my_call(H,[Y|Z]):- append(H,[Y],U), my_call(U,Z).         		accepted(X):- my_call([],X).

Что он получит?

Отметьте правильно построенные выражения языка Рефал

Какие арифметические выражения эквивалентны с точки зрения абстрактного синтаксиса?