Укажите родительское целевое утверждение в данном примере: C :- P, Q, !, R, S. F :- T. A :- B, C, D.
(Отметьте один правильный вариант ответа.)
Варианты ответа
F
C
A(Верный ответ)
Логическое программирование
Похожие вопросы
Аналогом какого предиката является в данном фрагменте программного кода Prolog предикат x? x(P) :- P, !, fail. x(_).
Укажите условное обозначение утверждения, что формула B следует из формулы A:
Если для формул A и B, в любой интерпретации, для которой истинно A, оказывается истинным и B, то:
Если для любых вершин u,v лежащих на одном пути, |h(u)-h(v)| меньше либо равен стоимости пути от u до v, то:
Целевое утверждение, которое приводит к вызову правила, содержащего отсечение, называется:
Если для всех вершин графа x имеет место h1(x) больше либо равен h2(x), в этом случае:
Укажите ответ на запрос ?- num_legs(dog,X). для приведенной ниже программы Prolog: num_legs(centipede,40) :- !. num_legs(human,2) :- !. num_legs(_,4).
Укажите результат запроса ?- sweet(X),white(X). для представленного ниже набора фактов на языке Prolog: sweet(sugar). white(sugar). white(paper).
Укажите результат запроса ?- not(sweet(X)),white(X). для представленного ниже набора фактов на языке Prolog: sweet(sugar). white(sugar). white(paper).
Укажите результат запроса ?- white(X), not(sweet(X)). для представленного ниже набора фактов на языке Prolog: sweet(sugar). white(sugar). white(paper).