Если убрать "зеленое" отсечение, то программа
Отсечение предназначено для того, чтобы:
Логическая программа завершается успехом в случае, если:
Может ли программа, не содержащая внутренней цели, быть скомпилирована в исполняемый файл?
Отношение называется транзитивным, если
Если взять дополнение к дополнению множества, то получится:
Первая подстановка является более общей, чем вторая, если:
Одно отношение называется транзитивным замыканием другого отношения, если
Формула представлена в предваренной нормальной форме, если вынесены в ее начало все:
Что, скорее всего, произойдет, если удалить предложение, реализующее базис рекурсии?
