7.5.5. Итоги сопоставления процедурного и декларативного подходов

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

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