2 Правило резолюции .
Позволяет из дизъюнктов:
Получить новый дизъюнкт:
– наиболее общий
унификатор термов S и t,
обеспечивает их равенство и означает,
что все подстановки унификатора выполнены
для всех атомов, входящих в дизъюнкты
D1 и D2.
Дизъюнкты D1 и D2
называются родителями дизъюнкта D.
В дизъюнкте D отсутствует
пара
,
при этом
и пара является тавтологией (тождественно
истинной) и может быть удалена из
дальнейших вычислений и выполняет
правило склейки. Правило склейки
позволяет из дизъюнкта
получить дизъюнкт
,
т.е. осуществляется склеивание одинаковых
атомов, полученных после унифицирующей
подстановки
.
Работа в системе программирования Turbo Prolog.
-
Система программирования Turbo Prolog.
-
Интерфейс Turbo Prolog.
-
Основы программирования.
(1). Система программирования Turbo Prolog включает в свой состав:
-
интегрированную среду для разработки, отладки и выполнения логческих программ.
-
язык логического программирования Turbo Prolog.
Рассмотрим коротко интерфейс интегрированной среды и основы программирования в этой среде на языке Turbo Prolog.
(2). Рассматриваемая версия системы логического программирования Turbo Prolog 2.0 работает под управлением DOS и имеет стандартизованный программный интерфейс. Главное меню интегрированной среды системы включает в свой состав следующие меню и команды:
-
Files (Файл)
-
Edit (Правка)
-
Run (Выполнение)
-
Compile (Компиляция)
-
Options (Параметры)
-
Setup (Настройка).
Дадим краткую характеристику команд, указанных в меню.
Меню File содержит следующие команды управления файлами программ на Prolog:
-
Load (Загрузка файла)
-
Pick (Загрузка файла)
-
New file (Создание файла)
-
Save (Сохранение)
-
Write to (Сохранение с новым именем)
-
Change dir (Смена каталога)
-
OS shell (Временный выход в DOS)
-
Exit (Выход)
Команда Edit служит для переключения в режим редактирования исходного текста программы на языке Prolog.
Команда Run запускает процесс компиляции и выполнения текущей исходной программы на языке Turbo Prolog.
Меню Compile содержит следующие команды управления компиляцей:
-
Memory (компиляция программы с размещением в оперативке)
-
OBJ file (Компиляция с созданием объектного файла)
-
EXE file (auto link) (построение файла EXE)
-
Project (Создание проекта)
-
Link only (Редактирование связей файла объектной программы OBJ)
-
Link options (Параметры редактирования связей)
-
Edit PRJ file (Правка файла проекта)
-
Compiler directives (Директивы компилятора)
Меню Setup содержит следующие команды настройки системы:
-
Color (Изменение цвета)
-
Windows size (Изменение размеров окон)
-
Directories (Управление каталогами)
-
Miscellaneous (Параметны внешних устройств)
-
Load SYS file (Загрузить файл .SYS)
-
Save SYS file (Сохранить файл .SYS)
(3). В нижней части диалогового окна системы программирования Turbo Prolog содержится строка подсказки о назначении функциональных клавиш. Справочная помощь системы вызывается нажатием клавиши F1. Алфавит языка Turbo Prolog включает следующие символы:
-
Прописные и строчные буквы латинского алфавита.
-
Цифры.
-
Спец. символы: @; !; #; $; &; ( ); |; ^; “; -; +; /; <; >; ;; ,; ?; .; \; _; ‘; ~.
В Prolog имена используются для обозначения символических констант, доменов, предикатов, переменных. В общем случае, имя должно начинаться с буквы или знака подчёркивания, за которым идёт любая комбинация букв, цифр или знаков подчёркивания. При этом правило именования различных типов объектов в Prolog’овской – программе имеют свои особенности:
-
Имена символических констант и имена предикатов должны начинаться со строчной буквы.
-
Имена предметных переменных (аргументов, пердикатов и функций) должны начинаться с прописной буквы или знака подчёркивания.
В качестве имени переменной в предикатах может использоваться знак подчёркивания, такая переменная – анонимная. Применяется это в случаях, когда значение переменной безразлично для Prolog-программы. К ключевым (служебным) словам в языке Turbo Prolog относятся следующие слова:
and domains goal include
clauses elsedef if or
constants enddef ifdef predicates
database global ifndef