Domains. Из доменов можно конструировать составные или структурные домены (структуры)

i=integer

Из доменов можно конструировать составные или структурные домены (структуры). Структура описывается следующим образом:

< имя структуры> = < имя функтора> (< имя домена первой компоненты>,..., < имя домена последней компоненты>) [; < имя функтора> (...)]*

Каждая компонента структуры в свою очередь может быть структурой.

Пример. Предложить структуру, описывающую треугольник, содержащую в качестве компоненты структуру, описывающую точку на плоскости, имеющую две компоненты (координаты точки).

point = p(integer, integer)

triangle = tr(point, point, point)

В описание структуры могут входить альтернативы, разделенные символом "; " или ключевым словом " or ".

Так, структуру, описывающую точку и на плоскости, и в пространстве, можно задать следующим образом:

point = p(integer, integer); p(integer, integer, integer).

Описание файлового домена имеет вид:

file = < символическое имя файла 1>;...; < символическое имя файла N>

Для представления данных в Турбо-Прологе, в отличие от стандартных алгоритмических языков программирования, используются не массивы, а списки. Списковый домен задается следующим образом:

< имя спискового домена> = < имя домена элементов списка> *

Пример. Список целых чисел

list_of_integer = integer*

Раздел описания предикатов внутренней базы данных

Раздел описания предикатов внутренней базы данных начинается с зарезервированного слова database, и в нем описываются те предикаты, которые можно в процессе выполнения программы добавлять во внутреннюю базу данных или удалять оттуда. Описываются предикаты базы данных аналогично предикатам в разделе predicates.

Раздел описания предикатов

В разделе, озаглавленном зарезервированным словом predicates, содержатся описания определяемых пользователем предикатов. В традиционных языках программирования подобными разделами являются разделы описания заголовков процедур и функций. Описание n -местного предиката имеет следующий вид:

< имя предиката> (< имя домена первого аргумента>,...,

< имя домена n-го аргумента>).

Домены(области определения) аргументов должны быть либо стандартными, либо объявленными в разделе описания доменов. Следует обращать внимание на то, что имя предиката в Турбо-Прологе должно быть идентификатором, т.е. оно должно состоять только из латинских букв, цифр и символа подчеркивания, причем имя предиката не может начинаться с цифры.

Пример. Предикат, описывающий отношение " мама".