База ответов ИНТУИТ

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

<<- Назад к вопросам

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

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

Варианты ответа
удается найти все возможные доказательства P
удается найти хотя бы одно доказательство P
доказательство P неуспешно(Верный ответ)
Похожие вопросы
Предикат not(P) в языке программирования Prolog завершается неуспехом, если:
Предикат repeat языка программирования Prolog:
Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog: Q :- A, B. Q :- not(A), C.
Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog: Q :- A, !, B. Q :- C.
Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog: W:- A,P,W. W:-!.
Аналогом какого предиката является в данном фрагменте программного кода Prolog предикат x? x(P) :- P, !, fail. x(_).
Предикат отрицания not в Prolog:
Какой встроенный предикат языка Prolog всегда завершается успешно?
Какой встроенный предикат языка Prolog всегда завершается неуспешно?
Использование предиката repeat языка программирования Prolog возможно только с: