Тема: Знакомство с Visual Prolog. Структура программы на Прологе. Факты, правила, вопросы.

Для запуска среды Visual Prolog следует нажать иконку на рабочем столе либо выбрать «Пуск \ Программы \Visual Prolog 5.2 \ Visual Prolog 32» («Start\ Programs\ Visual Prolog 5.2\ Visual Prolog 32»),после чего появиться окно со следующим главным меню и панелью инструментов:

Рис.1. Главное меню и панель инструментов VisualProlog.

Создание нового файла.

Открытие файла

Сохранение файла.

Отмена действия (Undo).

Возврат отмененных действий (Redo).

Вырезать.

Копировать.

Вставить.

Компиляция проекта.

Построение проекта.

Запуск проекта на выполнение.

Тестирование секции программы Goal.

Просмотр кода проекта.

Изменение шрифта.

Просмотр файла помощи.

Прежде, чем приступить к изучению основ логического программирования, желательно познакомится с окнами Visual Prolog:

окном редактора (рис.2), предназначенным для набора кода программы;

окном сообщений (рис.3), в котором можно проследить операции, выполняемые средой в целом;

окном выдачи ошибок (рис.4) (двойной щелчок на ошибке позволяет перевести курсор в коде программы в ту позицию, где была допущена ошибка);

окном выдачи результатов (рис.5), где можно увидеть непосредственно, как работает программа.

Рис.5. Окно выдачи результатов выполнения команды TestGoal.

нажмите на панели инструментов либо

В результате появится окно, изображенное на рис.2. Наберите в появившемся окне следующий текст:

Для проверки работы программы следует выбрать пункт меню Project \ Test Goal или нажать кнопку на панели инструментов. Сразу же появится окно рис.5, если не были допущены ошибки, иначе вы увидите окно рис.4. Ответ системы «Yes» после выдачи основных результатов означает, что поставленная цель в разделе Goal была успешно удовлетворена, в противном случае Visual Prolog выдаст результат «No». Такие ответы связаны, прежде всего, с тем, что в основе Visual Prolog находится язык логики предикатов первого порядка, который, как известно, работает с логическими значениями предикатных предложений такими как «True» или «False» («Истина» или «Ложь» соответственно).

Обычно программа Visual Prolog включает три или четыре основных раздела. Это раздел выражений clauses, раздел описания предикатов predicates, раздел доменов domains и раздел цели goal.

В разделе выражений clauses программист размещает все включаемые в программу факты и правила.

Выражения, относящиеся к определенному предикату, должны размещаться в разделе clauses вместе. Последовательность определяющих предикат выражений называется ПРОЦЕДУРОЙ.

При попытке удовлетворения цели Visual Prolog работает с самого начала раздела clauses, просматривая в процессе поиска последовательно каждый факт или правило. По мере прохождения раздела clauses Visual Prolog устанавливает внутренние указатели после каждого выражения, которое удовлетворяет текущей подцели. Если такое выражение не является частью ведущего к решению логического пути, то Visual Prolog возвращается к установленному указателю и ищет другое соответствие. Такой процесс называется поиском с возвратом (backtracking).

Фактом называют отношение или свойство, о котором известно, что оно имеет значение истина. Например:

Правилом же является конструкция, содержащая некоторые условия:

Иначе, правило – это связанное отношение. Правила позволяют Прологу логически выводить одну порцию информации из другой. Правило принимает значение «истина», если доказано, что заданный набор условий является истинным.