Структура программы и синтаксис языка Пролог

Методическое пособие

К выполнению лабораторных работ

По дисциплине

«Информационные системы»

Для студентов специальности 080801

Таганрог 2008

ВВЕДЕНИЕ

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

Пролог ориентирован не на разработку решений, а на систематическое и формализованное описание задачи с тем, чтобы решение следовало из этого описания. Свое название Пролог получил от слов «ПРОграммирование на языке ЛОГики». На самом деле Пролог не считается чистым языком логического программирования, но его создание – важный этап в этом направлении.

СТРУКТУРА ПРОГРАММЫ И СИНТАКСИС ЯЗЫКА ПРОЛОГ

Программа на Прологе – это множество аксиом и правил, задающих отношения между объектами. Вычислением такой логической программы является вывод следствий из программы. Программа задает множество следствий, которое и представляет собой значение программы. Основные конструкции логического программирования термы и утверждения. Имеются три основных вида утверждений: факты, правила и вопросы и единственная структура данных – логический терм.

Факт – простейший вид утверждения, использующийся для констатации того, что выполнено некоторое отношение между объектами.

wife(“Vera”, “Alex”)

Этот факт утверждает, что Вера является женой Алекса. Другое название для факта или отношения – «предикат». Имена индивидов в предикате – «атомы».

Второй формой утверждения в логической программе является вопрос. Вопрос – это средство извлечения информации из логической программы. С помощью вопроса выясняется, выполнено ли некоторое отношение между объектами. Синтаксические вопросы и факты выглядят одинаково, однако их можно различить по контексту. Объект, записанный в разделе goal или в окне Dialog, называется целью. Простой вопрос состоит из одной цели.

В Турбопрологе константы могут иметь числовую или символьную форму. Число может быть целым или действительным: 0; -1; 123.4; 0.23Е-5. Константы, являющиеся атомами представляют собой последовательность символов, заключенных с двух сторон в двойные кавычки. При выводе на печать эти двойные кавычки обычно не печатаются. Существуют случаи, когда атомы не обязательно заключать в кавычки:

1) атом, состоящий только из чисел, букв и символа подчеркивания и начинающиеся со строчной буквы;

2) атом, состоящий целиком из специальных символов. К специальным символам относится:

+ - * / ^ = ~:;? @ $ &

Заметим, что атом, начинающийся с /*, будет воспринят как начало комментария, если он не заключен в одинарные кавычки.

Как правило, в программах на Прологе используются атомы без кавычек.

Атом, который необязательно заключать в кавычки, может быть записан и в кавычках. Запись с внешними кавычками и без них определяет один и тот же атом.