Основы программирования на языке Visual Prolog

Не унифицируется пара термов

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

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

t(a, b, k(c)) и t(X, Y, Z)

t(a, b, k(c)) и t(_, _, _)

t(a, b, k(c)) и t(a, b, _)

t(a, b, k(c)) и t(a, b, k(a))(Верный ответ)

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

Свободная переменная унифицируется

С каким списком не унифицируется список [1, 2]?

Укажите все списки, с которыми унифицируется список [_, _ | _]?

Укажите все списки, с которыми унифицируется список [_, 2 | _]:

Список [_, _] унифицируется:

Список [_] унифицируется:

Наибольший общий унификатор термов t(X, r(a, b), X) и t(X, r(Y, b), b) равен: