Выдержка из книги
Чери С.N.
Логическое программирование и базы данных
Ниже показано, как правила на Дейталоге можно использовать для вывода новых фактов из заданных. Определено понятие вывода фактов и введена теоретике-доказательная схема, которая позволяет выводить все основные факты, являющиеся следствиями конечного множества дизъюнктов Дейталога. Таким образом будет получен алгоритм вычисления любой программы на Дейталоге.
