Программирование на языке пролог
Шрифт:
вызывает сопоставление z с суммой х и у, если х и у конкретизированы. С другой стороны, если сначала конкретизированы у и r, а х – нет, то х будет конкретизирован разностью z-у.
Операции с файлами в микро-Прологе аналогичны тем, что имеются в базовом Прологе, с той лишь оговоркой, что здесь нет понятия текущего потока ввода или текущего потока вывода. Вместо этого вывод в файл и ввод из файла осуществляются, соответственно, через предикаты WRITEи READс указанием каждый раз имени файла. Предусмотрены специальные предикаты, обеспечивающие удобства при вводе-выводе через терминал пользователя.
Микро-Пролог позволяет программисту разрабатывать программы по частям,
В микро-Прологе предусмотрена возможность трассировки программы, однако средства трассировки должны быть предварительно загружены с помощью предиката LOAD. При трассировке выдается информация о процессе согласования всех целей, не содержащих встроенных предикатов. В моменты возникновения событий CALL, EXITи FAIL, которые именуются, соответственно, как ENTER, FINISHи FAIL, выдаются соответствующие сообщения. Пользователю разрешается в момент события CALLвмешиваться в ход трассировки и задавать команды CONTINUE(продолжить выполнение с трассировкой), SKIP(прервать трассировку до завершения текущей цели), FINISH(немедленное согласование текущей цели) и FAIL(немедленная неудача в согласовании текущей цели).
Clark K.L., Mc-Cabe F.G. Micro-PROLOG: Programming in Logic,Prentice-Hall, 1984. [Русский перевод: Клар К., Маккейб Ф. Введение в логическое программирование на микро-Прологе.- М,; Радио и Связь, 1987.]
ПРИЛОЖЕНИЕ F. СИСТЕМА МПРОЛОГ [19]
В этом приложении описывается система МПролог, разработанная в Институте по координации вычислительной техники (SZKI), г. Будапешт. Название системы МПролог отражает тот факт, что в этой системе предусмотрены средства для модульной разработки программ. Кроме того, в ней поддерживается более 200 встроенных предикатов, рассчитанных на различные области применения.
19
The MPROLOG System, SZKI, Budapest, 1986.
Синтаксис МПролога совместим с синтаксисом Пролога-10 (см. приложение D), и почти все встроенные предикаты Пролога-10 предусмотрены также и в МПрологе.
Пролог доступен на следующих вычислительных комплексах:
| ЭВМ | Операционные системы |
|---|---|
| VAX-11 | VMS, UNIX |
| IBM | VM/CMS, MVS |
| Siemens | BS2000 |
| M68000 | UNOS, UNIX-подобные системы |
Одна из версий МПролога (так называемый мини-МПролог) предназначена для микро- и мини-ЭВМ. Первая реализация этой системы применяется на ЭВМ IBM PC с ОС MSDOS.
Ниже приводится пример сеанса работы с подсистемой разработки программ (PDSS) системы МПролог,
В системе МПролог средства диалоговой разработки программ отделены от интерпретатора и реализованы в подсистеме PDSS, которая исполняет команды
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,если аргумент опущен.
20
Вспомогательная информация, выдаваемая по команде 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).