Являются унифицируемыми термы
(Отметьте один правильный вариант ответа.)
Варианты ответа
t(a, r(b, c)) и t(X, p(b, c))
t(a, r(b, c)) и t(a, X)(Верный ответ)
t(a, r(b, c)) и t(a, b, c)
t(a, r(b, c)) и t(X, r(Y))