Логическое программирование - тест 8

Предикат not(P) в языке программирования Prolog завершается успехом, если:

Предикат not(P) в языке программирования Prolog завершается неуспехом, если:

SLDNF-резолюция ... 

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

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

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

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

Предикат repeat языка программирования Prolog:

Декларативная семантическая модель программы на языке Prolog:

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

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

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

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

Использование предиката repeat языка программирования Prolog возможно только с:

Процедурная семантическая модель программы на языке Prolog:

Отсечения, при устранении которых программа начинает выдавать неправильные решения, называются:

Укажите дополнительное правило SLDNF-резолюции:

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

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

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

Какое из утверждений соответствует дополнительному правило SLDNF-резолюции:

 (1) заканчивается неуспехом тогда и только тогда, когда A не имеет конечного успешного дерева вывода 

 (2) заканчивается успехом тогда и только тогда, когда A имеет конечное успешное дерево вывода 

 (3) заканчивается неуспехом тогда и только тогда, когда A имеет конечное успешное дерево вывода 

Предикат отрицания not в Prolog:

Двойное отрицание с использованием предиката not в Prolog:

Может ли данный запрос в Prolog генерировать ответ в виде значений искомых переменных:
        ?-not(not(parent(X,Y))).

Укажите результат запроса ?- white(X), not(sweet(X)). для представленного ниже набора фактов на языке Prolog:
        sweet(sugar).
        white(sugar).
        white(paper).
        

Укажите результат запроса ?- not(sweet(X)),white(X). для представленного ниже набора фактов на языке Prolog:
        sweet(sugar).
        white(sugar).
        white(paper).
        

Укажите результат запроса ?- sweet(X),white(X). для представленного ниже набора фактов на языке Prolog:
        sweet(sugar).
        white(sugar).
        white(paper).
        

"Зеленые" отсечения - это ... 

"Красные" отсечения - это ... 

Отсечения, при отбрасывании которых программа продолжает выдавать те же решения, что и при наличии отсечения, называются:

Укажите, какой вид отсечения используется в приведенном ниже фрагменте кода на Prolog:
        max(X,Y,X) :- X>Y,!.
        max(_,Y,Y).
        

Укажите, какой вид отсечения используется в приведенном ниже фрагменте кода на Prolog:
        max(X,Y,X) :- X>Y,!.
        max(X,Y,Y) :- X<=Y.
        

Укажите, какой вид отсечения используется в приведенном ниже фрагменте кода на Prolog:
        max(X,Y,X) :- X>Y.
        max(X,Y,Y) :- X<=Y.
        

Родительским целевым утверждением для некоторого вхождения отсечения в логическую программу называется:

Целевое утверждение, которое приводит к вызову правила, содержащего отсечение, называется:

Укажите родительское целевое утверждение в данном примере:
        C :- P, Q, !, R, S.
        F :- T.
        A :- B, C, D.
        

Аналогом какого предиката является в данном фрагменте программного кода Prolog предикат x?
        x(P) :- P, !, fail.
        x(_).
        

Встроенный предикат отсечения языка Prolog ... 

Встроенный предикат отсечения на языке Prolog обозначается символом:

Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog:
        Q :- A, !, B.
        Q :- C.
        

Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog:
        Q :- A, B.
        Q :- not(A), C.
        

Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog:
        W:- A,P,W.
        W:-!.
        

Укажите ответ на запрос ?- num_legs(centipede,X). для приведенной ниже программы Prolog:
        num_legs(centipede,40) :- !.
        num_legs(human,2) :- !.
        num_legs(_,4).
        

Укажите ответ на запрос ?- num_legs(dog,X). для приведенной ниже программы Prolog:
        num_legs(centipede,40) :- !.
        num_legs(human,2) :- !.
        num_legs(_,4).
        

Укажите ответ на запрос ?- num_legs(centipede,4). для приведенной ниже программы Prolog:
        num_legs(centipede,40) :- !.
        num_legs(human,2) :- !.
        num_legs(_,4).