7. Секция goal

 В секции goal задается внутренняя цель программы. Это позволяет программе запускаться независимо от среды разработки. Если внутренняя цель включена в программу, то Турбо-Пролог выполняет поиск только одного первого решения, и связываемые с переменными значения не выводятся на экран.

Если внутренняя цель не используется, то в процессе работы есть возможность вводить в диалоговом окне внешнюю цель. При использовании внешней цели Турбо-Пролог ищет все решения и выводит на экран все значения, связываемые с переменными.

В систему Турбо-Пролог включено более 200 встроенных стандартных предикатов и более дюжины стандартных доменов. В случае использования этих предикатов и доменов нет необходимости объявлять их в программе.

Рассмотрим пример программы, в которой задана внутренняя цель и используется обращение к стандартным предикатам:

/* Программа 2 */

predicates

hello

goal     

hello.

clauses

hello :- makewindow(l,7,7,"My first programm",4,54,10,22), nl, write("Please, type your name "), cursor(4,5), readln(Name) ,nl, write(" Welcome ",Name).

В этой программе формируется на экране окно, заданного размера и цвета, запрашивается Ваше имя, а затем оно выводится на экран.

Перечень и назначение стандартных предикатов приведен в Приложении.

Однако чаще всего целью является сложный запрос к программе. Для разрешения какой-либо сложной цели Пролог должен разрешить все его подцели, создав при этом необходимое множество связанных переменных. Если же одна из подцелей ложна. Пролог возвратится назад и просмотрит альтернативные решения предыдущих подцелей, а затем вновь пойдет вперед, но с другими значениями переменных. Этот процесс называется "поиск с возвратом".

8. Секция database

Ключевое слово database указывает на начало последовательности описаний предикатов динамической базы данных. Динамическая база данных является базой, в которую факты добавляются во время исполнения программы. Требования к описаниям предикатов такие же, как и в секции predicates. Факты, принадлежащие динамической базе данных, обрабатываются отличным от обычных предикатов образом для того, чтобы ускорить работу с БД большого объема. Факты динамической базы могут модифицироваться в течение сеанса работы, загружаться из дискового файла с помощью стандартного предиката consult или записываться в дисковый файл с помощью предиката save.

9. Оболочка системы Турбо-Пролог

       Для ввода Пролог-программы и ее выполнения необходимо прежде всего загрузить в компьютер систему Турбо-Пролог. Для этого необходимо запустить на выполнение файл PROLOG.EXE (RP.EXE), после чего па экран дисплея будет выдано сообщение о загрузке системы программирования Турбо-Пролог и ее конфигурации на вашем компьютере. Нажатие на клавишу позволит войти в оболочку системы.

На экране отображается главное меню системы и четыре системных окна: окно редактирования, окно диалога, окно сообщений и окно трассировки (рис.1.). Эти окна могут быть использованы в любой конфигурации, и любое из них может занимать либо целый экран, либо его часть. Нижняя строка экрана содержит сообщения о состоянии системы, описывая доступные команды и назначение функциональных клавиш. Назначение клавиш меняется при изменении режима работы.

Главное меню содержит набор команд и подчиненных иерархических меню. Для выбора нужной команды надо переместить к ней засветку и нажать . Ниже приводится краткое описания назначения основных команд главного меню.

Команда "Редактировать" (Ред)

По этой команде вызывается встроенный в систему текстовый редактор. С его помощью можно вводить и редактировать текст программы. Если предварительно не было задано имя файла Пролог-программы, то по умолчанию принимается имя WORK.PRO.

Методы работы с этим редактором такие же, как и с обычным текстовым редактором, а набор его команд близкий к стандартному набору команд для любых Турбо-систем. Перечень основных команд и комбинаций клавиш для вызова этих команд можно получить, нажав клавишу F1.

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

Команда "Выполнить" (Вып).

 Команда "Выполнить" используется для выполнения откомпилированной программы, находящейся в памяти. При этом возможны две ситуации:

1. Если цель содержится внутри программы (то есть программа содержит секцию goal), то после выполнения команды Вып результат работы программы выводится в окне "Диалог". Нажатие клавиши обеспечит возврат в главное меню системы.

2. Если секция goal в программе отсутствует, то после выполнения команды Вып активизируется окно "Диалог" и пользователь сам вводит цель или набор целей, общаясь с программой в интерактивном режиме через окно "Диалог". В ходе выполнения программы некоторые из функциональных клавиш имеют специальные значения:

• F8 - выводит повторно предшествующую цель в окне "Диалог";

• F9 - вызывает редактор;

• Shift+F9 - выбирает системное окно, чтобы изменить его размеры;

• Shift+F10 - изменяет размеры или двигает окно "Диалог".

• Ctrl+F10 - активное окно на весь экран, повторное нажатие стандартный размер окна;

• Ctrl+P - перенаправляет выводной поток на принтер;

• Ctrl+S - останавливает вывод на экран, повторное нажатие - продолжает;

• Ctrl+C или Ctrl+Break - прерывают исполнение программы.

Команда "Компилировать" (Компил).

По этой команде компилируется загруженная в окне редактора программа. Результат будет помещен на резидентный диск в .OBJ файл или .ЕХЕ файл, в зависимости от установки переключателя компиляции в меню "Режимы"

Меню "Файлы"

Выбор команды "Файлы" главного меню приводит к выводу на экран дисплея нового меню по работе с каталогами и файлами. Ниже перечисляются основные команды этого меню и их назначение.

"Загрузить" - загружает рабочий файл из PRO каталога. После выбора этой команды система запрашивает имя файла. Вы можете ввести:

1. Любое допустимое для ДОС имя файла. Если расширение в имени файла опущено, система автоматически добавляет .PRO.

2. Файл из каталога. Если на сообщение системы "Имя файла:" будет нажата клавиша ВВОД, то отобразится содержимое текущего (PRO) каталога и выбор файла осуществляется клавишами управления курсором.

"Сохранить" - сохраняет текущий файл на диске.

"Каталог" - используется для выбора каталога (PRO - но умолчанию, для остальных надо указать путь к каталогу).

"Имя файла" - используется для переименования рабочего файла. Удобна для сохранения предшествующей версии редактируемого файла.

"Вывод" - направляет программу или ее часть на принтер.

"Удалить" - уничтожает дисковый файл, имя файла может быть указано непосредственно, или выбрано из каталога.

"Переименовать" - переименовывает файл.

"Удалить файл из редактора" - удаляет текущий файл из редактора и засылает рабочий файл.

"Переход к ДОС" - вызывает временный выход в ДОС. Возврат из ДОС в Турбо-Пролог по команде exit.

Меню "Установки" (Устан),

Выбор "Устан" вызывает на экран дисплея меню конфигурирования и установок оболочки системы программирования. Ниже перечисляются основные команды этого меню. и их назначение.

"Размер окон" - высвечивается меню с названиями текущих окон экрана. Можно выбрать окно и изменять его размеры с помощью клавиш управления курсором: "стрелка влево" и "стрелка вправо" - уменьшать и увеличивать ширину окна; "стрелка вниз" и "стрелка вверх" - уменьшать и увеличивать высоту окна. Нажатие клавиши Ctrl u любой, из указанных выше, делает изменения быстрее. Нажатие Shift и стрелки меняет позицию окна

"Каталоги" - устанавливает текущие каталоги для разных типов файлов. В системе Турбо-Пролог используются каталоги:

• Каталог PRO - текущий по умолчанию для файлов с расширениями .PRO. "

• Каталог OBJ - используется для файлов с расширениями .OBJ u .PRJ.

• Каталог ЕХЕ - для файлов с расширением .ЕХЕ, генерируемых Турбо-Прологом.

• Каталог TURBO используется для самой системы Турбо-Пролог.

"Цвета" - выбрав окно, используйте "стрелку влево" и "стрелку вправо" для изменения атрибутов основного цвета, а "стрелку вверх" и "стрелку вниз" - для атрибутов символов. Результирующее значение атрибутов выводится в нижней части экрана. Для выбора цвета и фона пользуйтесь таблицей Приложения 2.

"Разные установки" - используются для определения специальных параметров. Автозагрузка, по умолчанию OFF, используется, когда необходимо загрузить в память (Файл, содержащий сообщения об ошибках. Размер стека используется для переопределения размеров стека, по умолчанию 600 параграфов (1 параграф = 16 байт).

"Загрузка структуры" - загружается .SYS файл из TURBO каталога и можно изменять параметры системы, которые этот файл содержит;

"Запись структуры" - сохраняются текущие установки в .SYS файле.

Команда "Выход"(Вых).

По этой команде обеспечивается выход из системы Турбо-Пролог. До выхода из системы необходимо сохранить все измененные тексты Пролог-программ, а также файлы баз данных, использованные в данном сеансе работы с Турбо-Прологом.