Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Основы логического программирования.doc
Скачиваний:
224
Добавлен:
22.05.2015
Размер:
718.34 Кб
Скачать

Изучение работы с интегрированной оболочкой системы турбо пролог.

Цель работы: Освоение основных режимов работы в интегрированной оболочке системы Турбо Пролог: редактирования, компиляции, отладки, ведения диалога и работы с файлами.

Краткие теоретические сведения

1. Турбо-Пролог, версия 2.0

Система Турбо Пролог версия 2.0 может работать на ПЭВМ, совместимых с IBM PC XT/AT и PS/2, с ОЗУ минимум 384 Кбайт и двумя НГМД по 360 Кбайт. Рекомендуется иметь ОЗУ 512/640 Кбайт и НМД типа "Винчестер". В файле сonfig.sys должно быть указано files=20 buffers=40.

Программа на Турбо Прологе состоит из следующих в определенном порядке секций и имеет следующую структуру [2]:

constants /* Секция объявления констант. Может отсутствовать */

domains /* Секция объявления нестандартных и/или составных типов данных. Может отсутствовать */

database - имя_ВБД /* Необязательная секция объявления предикатов для работы с внутренней базой данных (ВБД) */

predicates /* Секция объявления предикатов */

clauses /* Секция объявления правил и фактов */

goal /* Секция объявления внутренней цели. Может отсутствовать */

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

- комментарии в программе могут располагаться в программе на любом месте. Комментарий начинается либо с символа % либо с последовательности символов /* и заканчиваться */;

- в программе может использоваться только один раз секция GOAL;

- все предикаты в CLAUSES с одинаковыми именами должны записываться подряд;

- большинство стандартных предикатов выполняют несколько функций в зависимости от состояния параметров, входящих в предикат. Известные параметры называют входными (INPUT – (i)), неизвестные – выходными (OUTPUT – (o)). Совокупность входных параметров определяет работу предиката. Эта совокупность называется проточным шаблоном.

Интегрированная оболочка системы Турбо-Пролог предоставляет следующие возможности:

- создавать и редактировать тексты программ;

- выполнять и отлаживать программы;

- транслировать программы в объектные файлы;

- компоновать объектные файлы в исполняемые модули;

- получать справочную информацию, изменять размеры окон и их цвет;

- устанавливать параметры и конфигурацию системы.

При первоначальном входе в интегрированную среду Турбо-Пролога на экране монитора появляется главное меню (рис.1). В верхней строке находятся названия 6 основных режимов работы системы. Текущее положение в меню отмечено выделяющейся по цвету и яркости прямоугольной полоской. Перемещая эту полоску (курсор) с помощью клавиш с горизонтальными стрелками нажатием клавиши Enter можно выбрать необходимый режим. Это можно сделать также одновременным нажатием клавиши Alt и первой буквы названия соответствующего меню, например, для выбора режима редактирования достаточно нажать Alt-E.

Для удобства работы для наиболее часто используемых операций в оболочке Турбо Пролога вместо выбора из меню (или подменю) можно использовать нажатие функциональных клавиш, либо определенного сочетания клавиш (Hot keys). Действие той или иной функциональной клавиши может быть различным в зависимости от того, в каком режиме находится система. Более полную подсказку можно получить нажатием клавиш Alt-H.

Files Edit Run Compile Options Setup

Editor Dialog

Line 1 Col 1 WORK.PRO Indent Insert

Message Trace

Use first letter of option or select with  or 

Рис. 1