База ответов ИНТУИТ

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

<<- Назад к вопросам

Унифицируются ли и Как унифицируются следующие выражения:
        		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)))
Похожие вопросы
Унифицируются ли и Как унифицируются следующие выражения:
        			V(f(X,Y), U(Y), h(Y))        			U(V(a,b), g(b), Z)        		
Унифицируются ли и Как унифицируются следующие выражения:
        		f(X, g(Y), h(Y))        		U(h(A), g(g1(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).         	
Что он получит?
Отметьте правильно построенные выражения языка Рефал
Отметьте правильно построенные выражения языка Рефал
Отметьте правильно построенные выражения языка Рефал
Какие арифметические выражения эквивалентны с точки зрения абстрактного синтаксиса?