Главная / Языки логического программирования / Как определяется унификатор выражений?

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

вопрос

Правильный ответ:

подстановка, для которой попарно все выражения тождественны
подстановка, для которой все выражения тождественны
подстановка для двух выражений, при которой они оказываются тождественными
два тождественно равных частных случая
Сложность вопроса
89
Сложность курса: Языки логического программирования
92
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Это очень заурядный вопрос интуит.
24 дек 2015
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.