Обязательно ли завершается за конечное число шагов метод резолюций в случае, если исходное множество дизъюнктов невыполнимо?
(Отметьте один правильный вариант ответа.)
Варианты ответа
нет
да(Верный ответ)
Основы программирования на языке Пролог
Похожие вопросы
Обязательно ли метод резолюций завершается за конечное число шагов?:
Логическая программа завершается успехом в случае, если:
Обязательно ли должно быть предложение, реализующее шаг рекурсии, в рекурсивной процедуре?
В алгоритме сортировкипо возрастанию перестановками предикат permutation выполняет перестановку двух соседних элементов в случае, если:
Метод отсечения и отката:
Какой из алгоритмов, в общем случае, требует больше оперативной памяти?
Метод повтора, определяемый пользователем:
В случае наличия в программе раздела внутренней цели Турбо Пролог находит:
Симметрической разностью множеств [1,2] и [2,3] будет множество:
Будет ли множество [1,2,3] собственным подмножеством множества [2,1,3]?