Clark K.L., Mc-Cabe F.G. Micro-PROLOG: Programming in Logic,Prentice-Hall, 1984. [Русский перевод: Клар К., Маккейб Ф. Введение в логическое программирование на микро-Прологе.- М,; Радио и Связь, 1987.]

В этом приложении описывается система МПролог, разработанная в Институте по координации вычислительной техники (SZKI), г. Будапешт. Название системы МПролог отражает тот факт, что в этой системе предусмотрены средства для модульной разработки программ. Кроме того, в ней поддерживается более 200 встроенных предикатов, рассчитанных на различные области применения.

Синтаксис МПролога совместим с синтаксисом Пролога-10 (см. приложение D), и почти все встроенные предикаты Пролога-10 предусмотрены также и в МПрологе.

Пролог доступен на следующих вычислительных комплексах:

Одна из версий МПролога (так называемый мини-МПролог) предназначена для микро- и мини-ЭВМ. Первая реализация этой системы применяется на ЭВМ IBM PC с ОС MSDOS.

Ниже приводится пример сеанса работы с подсистемой разработки программ (PDSS) системы МПролог,

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

DO $S.MPRO.PDSS

MPROLOG (V1.4) Program Development Subsystem 1.4:4 (

c) 1982 Institute for Coordination of Computer Techniques (SZKI), Budapest.

По команде helpвыводится общая вспомогательная информация о возможностях PDSS (# означает приглашение системы) [20] ;

* help Команда; h[elp] [ТЕМА…]

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

Можно получить информацию по следующим темам:

all_global all_symbolic all_visible body bye coded consult declaration delete dynpart edit enter exception_handling execute export face focus global goal help hidden import insert interface list local match_order mode modify module move next nonprolog operator options previous query read rename replace reply reset rungoal savemod selectors set solutions status symbolic trace type untimed untrace visible =

Сведения по конкретной теме, например по теме module,указанной в третьей колонке, можно получить следующим образом:

*help module

Команда: m[odule] [ИМЯ]

Делает модуль ИМЯтекущим модулем. Если ИМЯопущено, то текущим модулем становится `неименованный_модуль'. После этой команды никакое утверждение не помещается в поле зрения.

Возможности PDSS позволяют разрабатывать несколько модулей. Данный сеанс начинается с команды module,создающей модуль, в который затем будут помещаться определения предикатов.

* module first

MODULE first

* enter hates(ann,john).

PREDICATE hates/2

*?- hates(kate,X).

NO

Команда enterиспользуется здесь для дополнения модуля firstновым утверждением. На основе одного этого утверждения ответ на вопрос hates(kate, X)получается отрицательным.

В то же время, когда утверждений, относящихся к данному целевому утверждению, вообще нет, система ведет себя по-другому: такая ситуация рассматривается как особая, и она обрабатывается стандартным обработчиком особых ситуаций PDSS:

*?- likes(X,Y).

Exception -505: undefined predicate In call of likes(_425,_426) Function (h for help)?

* h

p – enter new PDSS level

b – backtrace

a – abandon execution

с – continue

f – fail

s – contents of the stack

r - redo the broken call

i – user handled interrupt

h – help Function (h for help)'

* f

NO

Здесь enter new PDSS levelозначает выход на новый уровень команд PDSS (аналогично команде breakв Прологе-10), backtraceозначает вывод списка предшественников ошибочного вызова (аналогично команде backtraceв Прологе для PDP-11 с ОС UNIX).