Как называется метод дедуктивного логического
вывода, при котором интерпретация правил начинается от известных фактов, т.е. сначала
выполняются правила, условия которых можно проверить с использованием фактов,
уже находящихся в базе данных.