- •Основы логического программирования с использованием языка пролог
- •Изучение работы с интегрированной оболочкой системы турбо пролог.
- •Краткие теоретические сведения
- •1. Турбо-Пролог, версия 2.0
- •Экран разделен на 4 окна:
- •2. Основные режимы работы
- •3. Стандартные предикаты
- •Задание на лабораторную работу Последовательность действий:
- •Варианты заданий
- •Контрольные вопросы
- •Рекурсия
- •Краткие теоретические сведения
- •Варианты заданий
- •Контрольные вопросы:
- •Задание на лабораторную работу Последовательность действий:
- •Варианты заданий
- •Контрольные вопросы
- •Списки и алгоритмы сортировки списков.
- •Краткие теоретические сведения
- •Задание на лабораторную работу Последовательность действий:
- •Варианты заданий
- •Контрольные вопросы
- •Краткие теоретические сведения
- •Варианты заданий
- •Контрольные вопросы:
- •Работа с внутренней и внешней базами данных системы турбо пролог
- •Краткие теоретические сведения
- •Задание на лабораторную работу Последовательность действий:
- •Варианты заданий
- •Контрольные вопросы
- •Универсальный графический интерфейс в языке турбо пролог.
- •Краткие теоретические сведения
- •Задание на лабораторную работу Последовательность действий:
- •Варианты заданий
- •Использование пролога для построения экспертных систем
- •Краткие теоретические сведения
- •1 Разработка экспертных систем, базирующихся на правилах.
- •2. Разработка экспертных систем, базирующихся на логике
- •Задание на лабораторную работу
- •Приложение 1
- •Приложение 2
- •Содержание
Изучение работы с интегрированной оболочкой системы турбо пролог.
Цель работы: Освоение основных режимов работы в интегрированной оболочке системы Турбо Пролог: редактирования, компиляции, отладки, ведения диалога и работы с файлами.
Краткие теоретические сведения
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