1.2. Разделы программы на языке Турбо Пролог.
Программа может содержать несколько разделов:
constants - раздел определений констант
domains - раздел определений доменов, описывающих принадлежность используемых объектов к определенному типу стандартного домена (integer, real,..) или других доменов.
database - раздел описаний предикатов динамической базы данных, содержащей только факты (предикаты без переменных). Содержимое базы может изменяться во время работы встроенными предикатами.
predicates - раздел описания предикатов, используемых в разделе clauses. Описание содержит имя предиката и домены аргументов. Описания встроенных (стандартных) предикатов не требуется.
goal - раздел описания внутренней цели.
clauses - раздел предложений (фактов и правил). Предложения с одинаковыми предикатами в заголовках записываются подряд и называются процедурой.
Обычно в программе присутствуют, разделы predicates и clauses.
2. Среда turbo prolog 2.0.
2.1. Интерфейс среды Турбо Пролог 2.0.
Интерфейс среды TURBO PROLOG 2.0 представлен на рисунке.
Выбирать элементы меню можно несколькими способами:
выделенная буква (нажмите выделенную цветом в названии этого элемента букву:"F" для "File" и т.д.);
выделенная полоса (с помощью клавиш со стрелками вверх и вниз передвиньте выделенную полосу на требуемый элемент, а затем нажмите Enter);
"горячая" клавиша (нажмите клавишу Alt и первую букву элемента главного меню, который вам нужен. Например, [Alt]+E переводит вас в меню Edit из любого места системы).
Для выхода из меню и возврата в предыдущее положение нужно просто нажать Esc.
Такие элементы главного меню, как Files , Compile, Options и Setup, имеют собственные подменю; тогда как b являются непосредственными командами и не имеют каких-либо опций.
2.1 Элементы главного меню и их функции:
Files управление файлами (загрузка, сохранение, создание и т. д.), манипуляции каталогами (вывод, изменение), вызов DOS, выход из системы.
Edit создание и редактирование исходных файлов.
Run автоматическая компиляция и запуск программы из среды.
Compile компиляция программы или проекта одним из нескольких возможных способов: в память, в объектный файл или в исполняемый файл.
Options установка опций компилятора (такие, как контроль переполнения, информация для отладки, размеры памяти, редактирование файла описания проекта (.PRJ).
Setup настройка интерфейса среды Турбо Пролог.
Editor (окно редактирования) редактирование и отладка программы. При отладке курсор отмечает положение маркера самой правой подцели. Это окно активизируется не только по команде, но и автоматически, например, при обнаружении синтаксических ошибок транслятором.
Если в среду не загружена программа, при активизации окна создается пустой файл с именем WORK.PRO. Команды редактора можно посмотреть по клавише F1. Выход из окна в главное меню по F10 или Esc.
Trace (окно трассировки) индикация последовательности выполнения программы.
Message (окно сообщений) вывод различных сообщений в процессе работы: о чтении или сохранении файла, об именах предикатов компилируемой в данный момент программы и т. д.
Dialog (диалоговое окно) интерфейс, с помощью которого можно передавать в среду Турбо Пролога свои запросы и получать ответы.