Главная /
Основы программирования на языке Пролог /
В правиле резолюции контрарными литералами называются:
В правиле резолюции контрарными литералами называются:
вопросПравильный ответ:
исходные дизъюнкты
вычеркнутые формулы
Сложность вопроса
87
Сложность курса: Основы программирования на языке Пролог
85
Оценить вопрос
Комментарии:
Аноним
Экзамен прошёл на 4. лол
04 ноя 2016
Аноним
Я помощник профессора! Тотчас сотрите сайт с ответами интуит. Пишу жалобу
06 ноя 2015
Другие ответы на вопросы из темы программирование интуит.
- # Может ли быть у дерева несколько корневых вершин?
- # Если означить первый аргумент предиката str_list строкой, состоящей из одного пробела, то второй аргумент будет конкретизирован:
- # В правиле резолюции резольвируемыми называются:
- # В результате выполнения предиката fib(2,X) переменная X будет означена числом
- # Может ли программа, не содержащая внутренней цели, быть скомпилирована в исполняемый файл?