7.4.2. PEACE — экспертная программа на языке Пролог
PEACE, разработанная в Тулузе Дннкбасом в 1979 г., представляет собой пример экспертной программы, написанной на языке Пролог и предназначенной для анализа и синтеза электрических цепей.
Рис. 7.8. Схема электрической цепи для PEACE.
Для цепи, показанной на рис. 7.8, с заданными величинами сопротивлений, индуктивностей и емкостей и не содержащей источников тока, проблема нахождения результирующего импеданса между точками А и 
сводится к доказательству теоремы
Результат, получаемый методом от противного, будет содержаться в окончательном значении переменной Х.
Сама цепь представляется с помощью предкатов “равно”, “ветвь”, “кратный узел”, позволяющих записать следующие условия:
или
Основополагающие знания об электротехнике, необходимые для системы PEACE, сводятся к четырем преобразованиям цепей, изображенных на рис 7.9 а.
Кроме того, система PEACE должна уметь производить действия с комплексными числами. Сначала система Пролог действует только во множестве целых чисел. В дальнейшем ее база
знаний была расширена до действий во множестве рациональных (с повышенной точностью), и, наконец, до действительных чисел.
Правила определения комплексных чисел также достаточно просты.
Рис. 7.9 а. Преобразования в системе PEACE.
Преобразования электрических цепей описываются на языке Пролог с помощью предикатов. Например, второе правило принимает вид
(см. скан)
Внутренняя стратегия PEACE для преобразования цепи состоит в последовательном применении преобразований в указанном выше порядке. Этот порядок соответствует минимальному числу остающихся неясными узлов в сети. Узнавание допустимых преобразований в любой момент происходит с помощью алгоритма унификации и осуществляется языком Пролог. Таким образом, каждое преобразование позволяет определенным образом модифицировать базу данных. Доказывается, что этот процесс неизбежно сходится к цепи, содержащей две точки. Решение было получено чисто алгоритмическим способом.
В подобной системе любая форма знаний — факты из базы данных, процедуры, резолюции, схемы контроля — представлена единым способом с помощью конъюнкции предложений. Такое единообразие представления является также основной характеристикой другой системы — МЕСНО.
