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

Программа, написанная на Прологе, состоит из пяти основных разделов: раздел описания доменов, раздел базы данных, раздел описания предикатов, раздел описания предложений и раздел описания цели. Ключевые слова domains, constants, database (facts), predicates, clauses и goal отмечают начала соответствующих разделов. Назначение этих разделов таково:

· раздел domains содержит определения доменов, которые описывают различные типы данных, используемых в программе;

· раздел constants используется для объявления символических констант, используемых в программе;

· раздел database (facts) содержит описания предикатов внутренней базы данных Пролога, если программа такой базы данных не требует, то этот раздел может быть опущен;

· раздел predicates служит для описания предикатов, не принадлежащих внутренней базе данных;

· в раздел clauses заносятся факты и правила самой программы;

· в разделе goal на языке Пролог формулируется назначение создаваемой программы. Составными частями при этом могут являться некие подцели, из которых формируется единая цель программы.

В Visual Prolog разрешает объявление разделов domains, facts, predicates, clauses как глобальных разделов, то есть с ключевым словом global.

Пролог имеет следующие встроенные типы доменов:

Тип данных Ключевое слово Диапазон значений Примеры использования
Символы char Все возможные символы ‘a’, ’b’, ‘#’, ‘B’, ‘%’
Целые числа integer byte word dword От –32768 до 32767 От 0 до 255 От 0 до 65535 От 0 до -63, 84, 2349
Действительные числа real short ushort long ulong unsigned От +1E-307 до +1E308 16 битов со знаком 16 битов без знака 32 бита со знаком 32 бита без знака 16 или 32 бита без знака 360, - 8324, 1.25E23, 5.15E-9
Строки string Последовательность символов (не более 250) «today», «123», «school_day»
Символические имена symbol 1.Последовательность букв, цифр, символов подчеркивания; первый символ – строчная буква. 2. Последовательность любых символов, заключенная в кавычки. flower, school_day «string and symbol»
Ссылочный тип ref    
Файлы file Допустимое в DOS имя файла mail.txt, LAB.PRO

Если в программе необходимо использовать новые домены данных, то они должны быть описаны в разделе domains.

Пример 4:

domains

number=integer

name, person=symbol.

Различие между symbol и string - в машинном представлении и выполнении, синтаксически они не различимы.

Visual Prolog выполняет автоматическое преобразование типов между доменами string и symbol. Однако, по принятому соглашению, символическую строку в двойных кавычках нужно рассматривать как string, а без кавычек – как symbol:

Symbol - имена, начинающиеся с символа нижнего регистра и содержащие только символы, цифры, и символы подчеркивания.

String – в двойных кавычках могут содержать любую комбинацию символов, кроме #0, который отмечает конец строки.

Visual Prolog поддерживает и другие типы стандартных доменов данных, например, для работы с внешними БД или объектами.

Предикаты описываются в разделе predicates. Предикат представляет собой строку символов, первым из которых является строчная буква. Предикаты могут не иметь аргументов, например «go» или «repeat». Если предикаты имеют аргументы, то они определяются при описании предикатов в разделе predicates:

Пример 5:

predicates

mother (symbol, symbol)

father (symbol, symbol).

Факты и правила определяются в разделе clauses, а вопрос к программе задается в разделе goal – в этом случае цель называется внутренней целью. Программа на Турбо-Прологе может не содержать раздел goal, в этом случае цель задается в процессе работы программы и является внешней целью. Для задания внешней цели в окне Dialog будет выведено приглашение Goal. После удовлетворения внешней цели программа на Турбо-Прологе не заканчивает свою работу, а просит ввести следующую цель, таким образом можно задать программе несколько различных целей. Если цель в программе является внутренней целью, то процесс вычисления остановится после первого ее успешного вычисления. Если цель в программе является внешней целью, то процесс вычисления цели повторяется до тех пор, пока не будут найдены все успешные способы вычисления цели.

В Visual Prolog раздел goal в тексте программы является обязательным. Разница в режимах исполнения программы состоит в разном использовании утилиты Test Goal. Если утилита создается для запуска любой программы, то при этом ищутся все решения, если утилита создается для автономного запуска программы – то ищется одно решение.

Использование списков

Список – это упорядоченный набор объектов одного и того же типа. Элементами списка могут быть целые числа, действительные числа, символы, строки, символические имена и структуры. Порядок расположения элементов в списке играет важную роль: те же самые элементы списка, упорядоченные иным способом, представляют уже совсем другой список.

Совокупность элементов списка заключается в квадратные скобки ([]), элементы друг от друга отделяются запятыми. Список может содержать произвольное число элементов, единственным ограничением является объем оперативной памяти. Количество элементов в списке называется его длиной. Список может содержать один элемент и даже не содержать ни одного элемента. Список, не содержащий элементов, называется пустым или нулевым списком.

Непустой список можно рассматривать как список, состоящий из двух частей: головы – первого элемента списка; и хвоста – остальной части списка. Голова является элементом списка, хвост является списком. Голова списка – это неделимое значение, хвост представляет собой список, составленный из того, что осталось от исходного списка в результате «отделения головы». Этот новый список обычно можно делить и дальше. Если список состоит из одного элемента, то его можно разделить на голову, которой будет этот самый элемент, и хвост, являющийся пустым списком. Пустой список нельзя разделить на голову и хвост.

Операция деления списка на голову и хвост обозначается при помощи вертикальной черты (|):

[Head | Tail].

Head здесь является переменной для обозначения головы списка, переменная Tail обозначает хвост списка (для имен головы и хвоста списка пригодны любые допустимые Прологом имена). Данная операция также присоединяет элемент в начало списка, например, для того , чтобы присоединить X к списку S следует написать [X | S].

Отличительной особенностью описания списков является наличие звездочки (*) после имени домена элементов.

Пример 6: объявление списков, состоящих из элементов стандартных типов доменов или типа структуры.

domains

list1=integer*

list2=char*

list3=string*

list4=real*

list5=symbol*

personal_library = book (title, author, publisher, year)

list6= personal_library*

list7=list1*

list8=list5*

В первых пяти объявлениях списков в качестве элементов используются стандартные домены данных, в шестом типе списка в качестве элемента используется домен структуры personal_library, в седьмом и восьмом типе списка в качестве элемента используется ранее объявленный список.

Пример 7: демонстрация разделения списков на голову и хвост.

Список Голова Хвост
[1, 2, 3, 4, 5] 1 [2, 3, 4, 5]
[6.9, 4.3] 6.9 [4.3]
[cat, dog, horse] Cat [dog, horse]
[‘S’, ‘K’, ‘Y’] ‘S’ [‘K’, ‘Y’]
[«PIG»] «PIG» []
[] Не определена Не определен

Наши рекомендации