Приложение k. Метапрограммирование Введение

Пролог - это новый и очень мощный язык программирования. В данном

приложении предлагаются для обсуждения следующие темы:

1. Академическая дискуссия о языке Пролог;

2. Различия между традиционными (научно-исследовательскими)

применениями Пролога и Турбо Пролога, а также объяснение осо-

бенностей Турбо Пролога;

3. Объяснение, как можно расширить возможности Турбо Пролога

далеко за пределы традиционного Пролога;

4. Обсуждение моделирования интерпретатора правил обратной и

прямой цепочек рассуждений в Турбо Прологе;

5. Описание того, как нужно писать полный интерпретатор Пролога

или оболочку экспертной системы на Турбо Прологе.

В двух первых главных разделах данного приложения все внимание будет

сосредоточено скорее на стиле программирования, чем на самом програмиро-

вании. Здесь также объясняются некоторые конструкторские решения, вошед-

шие в Турбо Пролог, и основные различия между Турбо Прологом и традицион-

ным Прологом.