Интерпретатор правил с обратной цепочкой рассуждений

В этом разделе будет рассмотрен механизм, лежащий в основе интерпре-

татора правил с обратной цепочкой рассуждений (он также известен под име-

нем механизма вывода с транслятором термов в соответствии со старшинством

операций). Мы также покажем принятую для Пролога классическую интерпрета-

цию правил в применении к программам, написанным на Турбо Прологе, и ука-

жем необходимые вспомогательные средства.

Программа интерпретатора Турбо Пролога расположена на диске в подка-

талоге, имеющем имя \PROGRAMS; файлы имеют имена PIE.* (для "Prolog

Inference Engine" - механизма вывода на языке Пролога). Загрузите файл

PIE.PRO, и нажмите клавишу R для запуска его на выполнение клавишу R. В

процессе выполнения программы для получения помощи можно ввести с клавиа-

туры слово "help".

Внимание: Для компилирования программы компьютер должен иметь 640 К

памяти. Для компиляции программы в файл типа EXE надо создать файл SYS, в

котором размер стека указан равным 64 К, т.е. максимальной величине.

Для ознакомления с работой программы и для лучшего понимания объяс-

нений, данных в этом приложении, следует проверять предикаты механизма

вывода в режиме задания цели в Турбо Прологе или использовать трассировку

(режим Trace), чтобы видеть, что происходит.