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

Дата добавления: 2015-09-15; просмотров: 895; Нарушение авторских прав

Программа состоит из следующих разделов:

[CONSTANTS

]

[[GLOBAL] DOMAINS

]

[[GLOBAL] DATABASE– [ ]

]

[[GLOBAL] PREDICATES

]

[CLAUSES

]

[GOAL

]

TurboProlog работает со следующими стандартными типами данных:

№ п.п. Тип данных Описание

1. bt_selector указатель индексации внешней базы данных (B+дерево ссылок);

2. char одиночный символ (1 байт);

3. db_selector указатель (буфер) внешней базы данных

4. file указатель (буфер) файла

5. integer целое число со знаком

6. real действительное число

7. ref ссылочное число базы данных

8. reg набор регистров микропроцессора

9. string последовательность символов (до 64 К)

10. symbol строка, занесенная во внутреннюю таблицу символов Пролога

Секция DOMAINS– предназначена для определения нестандартных типов данных, структур, термов, указателей файлов и баз данных. Например:

DOMAINS

int= integer объявление стандартного типа под другим именем;

list_int= integer* объявление списка, состоящего из целых чисел;

list_string= string* объявление списка, состоящего из строк;

pred= man(string) объявление структуры;

file= f1; f2 объявление указателей файлов f1 и f2;

db_selector= dba1; dba2 объявление указателей баз данных dba1 и dba2;

bt_selector= bt1; bt2 объявление указателей индексации базы данных.

В секции DATABASE объявляются факты, которые предполагается менять (добавлять, удалять, редактировать) в процессе работы программы. Все остальные факты и правила объявляются в секции PREDICATES. Все факты и правила описываются в разделе CLAUSES. Раздел GOAL обязателен только в том случае, если предполагается создание загрузочного модуля.

Контрольные вопросы

1 Назовите разделы пролог-программы.

2 Для чего предназначен раздел DOMAINS?

3 Для чего предназначен раздел PREDICATES?

4 Для чего предназначен раздел CLAUSES?

5 Для чего предназначен раздел GOAL?

<== предыдущая лекция	\|	следующая лекция ==>
Основные конструкции логического программирования	\|	Вычислительная модель логических программ