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