Укажите определение теоремы о полноте отрицания по конечному неуспеху:

Правильный ответ:

Пусть P — логическая программа без отрицаний. Если некоторое утверждение A имеет конечное дерево SLD-резолюции, заканчивающиеся неуспехом, то

Пусть P — логическая программа без отрицаний. Если , то существует конечное дерево SLD-резолюции для A, заканчивающееся неуспехом

не выводимо тогда, когда A имеет конечное дерево вывода, заканчивающиеся неуспехом

• # Укажите предикат Prolog, который преобразовывает списки в структурные термы:
• # Description-logic - это ...
• # Формулы произвольной формальной системы - это ...
• # Укажите предикат языка Prolog, который используется для определения суммы элементов списка:
• # Предикат отрицания not в Prolog: