SLDNF-резолюция ...
(Отметьте один правильный вариант ответа.)
Варианты ответа
всегда заканчивается успехом
не обладает свойством полноты(Верный ответ)
обладает свойством полноты
Логическое программирование
Похожие вопросы
Резолюция для логики предикатов обладает свойством полноты и непротиворечивости только для:
Укажите дополнительное правило SLDNF-резолюции:
Какое из утверждений соответствует дополнительному правило SLDNF-резолюции: