6.Основы работы в Visual Prolog.

6.1. Создание TestGoal –проекта для выполнения программ

Для использования утилиты TestGoal для выполнения программ требуется определить некоторые опции компилятора Visual Prolog. Для этого необходимо выполнить следующие действия:

1. Запустите среду визуальной разработки Visual Prolog.

2. Создайте новый проект: выберите команду Project | New Project, активизируется диалоговое окно Application Expert.

3. Определите базовый каталог и имя проекта, рекомендуется имя в поле Base Directory задать по следующему образцу: C:\student\641\ivanov\TestGoal, а имя в поле Project Name следует определить как TestGoal. Далее следует установить флажок Multiprogrammer Mode и щелкнуть мышью внутри полей Name of.VPR File и Name of.PRJ File. Определите цель проекта: на вкладке Target рекомендуется выбрать следующие параметры: Windows32, Easywin, exe, Prolog.

4. Установите требуемые опции компилятора для созданного TestGoal-проекта, для этого следует активизировать диалоговое окно Compiler Options при помощи команды Options | Project | Compiler Options. Далее откройте вкладку Warnings и выполните следующие действия:

• Установите переключатель Nondeterm. Это нужно для того, чтобы компилятор принимал по умолчанию, что все определенные пользователем предикаты – недетерминированные (могут породить более одного решения);

• Снимите флажки Non Quoted Symbols, Strong Type Conversion Check, Check Type of Predicates.

• Нажмите кнопку OK, чтобы сохранить установки опций компилятора.

6.2. Запуск и тестирование программы.

Для проверки правильности настройки системы, создадим простую тестовую программу. Для создания нового окна редактирования можно использовать команду меню File | New. Редактор среды визуальной разработки – стандартный текстовый редактор.

Введите в окне редактирования следующий текст:

Goal write (“Hello world!”),nl.

Это раздел цели программы и для того, чтобы она могла быть выполнена, следует активизировать команду Project | Test Goal или нажать комбинацию клавиш <Ctrl> + <G>.

Результат выполнения программы будет расположен вверху в отдельном окне, которое необходимо закрыть перед тем, как тестировать другую Goal.

Утилита Test Goal интерпретирует Goal как специальную программу, которая компилируется, генерируется в исполняемый файл и Test Goal запускает его на выполнение. Эта утилита внутренне расширяет заданный код Goal, чтобы сгенерированная программа находила все возможные решения и показывала значения всех используемых переменных.

Замечание: утилита Test Goal компилирует только тот код, который определен в активном окне редактора.