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

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

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

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

родительским целевым утверждением(Верный ответ)

фактом

дочерним целевым утверждением

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

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

Как называется грамматика в классификации по Хомскому, если все правила имеют вид α → , где $\alpha \in N$ ?

Правила вывода произвольной формальной системы - это ...

В левой части правила контекстно-свободной грамматики допускается:

Как называется грамматика в классификации по Хомскому, если все правила грамматики имеют вид α → a либо α → , где $\alpha ,\beta \in N$ , $a \in A$ ?

Укажите верное утверждение:

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

Грамматика называется регулярной, если:

Исчисление называется достоверным, если:

Исчисление называется полным, если: