Структура программ Турбо-Пролога

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

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

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

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

· в раздел clauses заносятся факты и правила самой базы данных. О содержимом этого раздела можно говорить как о данных, необходимых для работы программы;

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

Турбо-Пролог имеет шесть встроенных типов доменов:

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

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

Пример 22:

domains

number=integer

name, person=symbol.

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

Пример 23:

predicates

mother (symbol, symbol)

father (symbol, symbol).

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

Дата добавления: 2015-06-27