7. Система программирования Arity Prolog 5.0.
Описание среды программирования Arity Prolog 5.0.
Структура окна среды программирования Arity Prolog представлена на рис 7.1
Система Arity Prolog имеет главное меню и рабочие окна: окно редактирования, окно диалога, окно справки и окно трассировки. При запуске системы на экране отображается окно диалога и главное меню. Переход из окна диалога в окно редактирования, изображенное на рис. 7.1, и обратно в окно диалога производится нажатием функциональной клавиши F8 или с помощью команды главного меню Switch. Переход в главное меню производится нажатием функциональной клавиши Alt.
Главное меню содержит следующие элементы:
File команды создания, открытия, сохранения файлов и баз данных, временного выхода из среды в операционную систему MS DOS и выхода из среды программирования;
Edit команды редактирования исходного текста программ;
Buffers команды перехода из одного буфера в другой, установки действий, выполняемых при таком переходе, интерпретации программы;
Info команды выдачи информации о среде программирования и изменения главного окна среды;
Debug команды управления средствами отладки и трассировки;
Switch команда перехода из окна редактирования в окно диалога и наоборот;
Help команды выдачи справочной информации.
Подменю File включает подкоманды:
New создание нового буфера в окне редактирования;
Open File загрузка программы из файла в буфер;
Consult File интерпретация программы из файла;
Merge File присоединение программы из файла к буферу;
Save File сохранение программы в файле;
Save File as сохранение программы в файле с другим именем;
Restore Db перезапись базы данных;
Restore Db from перезапись базы данных из файла;
Save Db сохранение базы данных;
Save Db as сохранение базы данных в файле с другим именем.
Подменю Edit включает подкоманды:
Find, Find Selected, Repeat Last Find, Change команды поиска фрагментов текста;
Undo, Cut, Copy, Paste, Clear команды выделения, копирования и переноса фрагментов текста.
Подменю Buffers включает подкоманды:
Goto , Goto Last команды перехода из одного буфера в другой;
Erase Buffer очистка буфера;
Save All Buffers сохранение содержимого всех буферов на диске;
Reconsult Buffer интерпретация содержимого текущего буфера;
Save on Exit сохранение содержимого текущего буфера при переходе в режим диалога;
Reconsult on Exit интерпретация содержимого текущего буфера при переходе в режим диалога.
Подменю Info включает подкоманды:
Statistics выдача информации о среде программирования;
Modify Windows изменение параметров окон среды программирования.
Подменю Debug включает подкоманды:
Spy установка контрольной точки;
Trace on установка режима трассировки;
Clear All Spy Points удаление всех контрольных точек.
Разработка программы на языке Пролог в среде программирования Arity Prolog выполняется следующим образом:
С помощью команды File/New создается новый буфер и происходит переход в окно редактирования.
В окне редактирования пользователь набирает текст программы.
С помощью команды Buffers/Reconsult программа, находящаяся в текущем буфере, интерпретируется. Затем производится переход в окно диалога с помощью клавиши F8.
Если программа успешна интерпретирована, то выдается сообщение: «Reconsulting ... APIBUF2.ARI [ buffer 1 ].» Если программа содержит синтаксические ошибки, то интерпретатор Arity Prolog выдаст соответствующие сообщения об ошибках, которые надо исправить и повторить команду Buffers/Reconsult.
При успешном завершении интерпретации программы можно перейти в окно диалога и задать системе запрос.
С помощью команды File/Save as или File/Save программа из текущего буфера сохраняется в файле на диске.