Главная /
Логическое программирование /
Подстановка называется унификатором для формул или термов F и G, если:
Подстановка
называется унификатором для формул или термов F
и G
, если:
вопрос
Правильный ответ:
F ¬
F = G
F : F = (F)
Сложность вопроса
67
Сложность курса: Логическое программирование
29
Оценить вопрос
Комментарии:
Аноним
Экзамен прошёл на 4 с минусом. Ура
12 янв 2020
Аноним
Я преподаватель! Немедленно уничтожьте сайт с ответами intuit. Немедленно!
16 окт 2016
Другие ответы на вопросы из темы программирование интуит.
- # Какой предикат языка программирования Prolog позволяет добавить указанное правило в базу данных программы в процессе ее выполнения:
- # Семантический способ доказательства общезначимости формул основан на попытке:
- # Укажите инфиксный оператор языка Prolog:
- # Какое из утверждений соответствует дополнительному правило SLDNF-резолюции:
- # "Зеленые" отсечения - это ...