Во-первых, все такие языки являются декларативными в том смысле, что позволяют описывать знания, имеющие отношение ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Джексон П.N.
Введение в экспертные системы
Во-первых, все такие языки являются декларативными в том смысле, что позволяют описывать знания, имеющие отношение к решению конкретной задачи, а не способ ее решения. В большинстве экспертных систем используется архитектура, в которой знания отделены от машины логического вывода. Это позволяет проводить эксперименты с использованием одних и тех же знаний в разных режимах обработки. Некоторые новые архитектурные решения, например использующие доску объявлений, позволяют представлять управляющие знания декларативно и обрабатывать их так же, как и другие виды знаний.