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

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

(Отметьте один правильный вариант ответа.)

Варианты ответа

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

целевое утверждение, которое приводит к вызову правила, содержащего отсечение(Верный ответ)

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

Похожие вопросы

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

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

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

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

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

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

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

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

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

Дизъюнктом Хорна называется: