Главная /
Языки логического программирования /
Как определяется наиболее общий унификатор выражений?
Как определяется наиболее общий унификатор выражений?
вопросПравильный ответ:
применение любого другого унификатора к этим выражениям является частным случаем этих выражений
такой унификатор двух атомов, что применение любого другого унификатора для этих атомов является частным случаем применения НОУ к ним
любой другой унификатор является частным случаем НОУ
универсальная подстановка для любых выражений
Сложность вопроса
88
Сложность курса: Языки логического программирования
92
Оценить вопрос
Комментарии:
Аноним
Какой человек ищет эти вопросы с интуитом? Это же легко
18 дек 2019
Аноним
Это очень нехитрый решебник по интуиту.
21 янв 2016
Другие ответы на вопросы из темы программирование интуит.
- # При помощи какой формы передаются данные последующей части алгоритма после транспонирования второй матрицы?
- # Что может быть термом Рефала?
- # Какое утверждение для Рефала-2 является верным?
- # Что возвратит в поле зрения вычисление выражения k/swr//x/ k/ptr//x/ k/rdr/ k/wtr//x/ '5'....?
- # Какое утверждение для Рефала-5 является верным?