Языки логического программирования

Как определяется унификатор выражений?

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

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

подстановка, для которой попарно все выражения тождественны

подстановка, для которой все выражения тождественны

два тождественно равных частных случая

подстановка для двух выражений, при которой они оказываются тождественными(Верный ответ)

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

Как определяется наиболее общий унификатор выражений?

В каком случае не существует НОУ выражений?

Как определяется подстановка Пролога?

Как определяется атом модели Бэкуса?

Как определяется объект модели Бэкуса?

Чем определяется применимость НАМ к входным данным?

Как определяется отношение выводимости запросов Q₁ и Q₂?