Запись определений доменов: Обзор.

Здесь дано общее представление о том, как писать объявления доменов

для составных объектов:

домен = вариант1(Д,Д,... );

вариант2(Д,Д,... );

...

Здесь вариант1 и вариант2 допустимые (но разные) функторы. Запись

(Д,Д,...) представляет список имен доменов, которые объявлены где-то в

программе, или являются стандартными типами доменов (такие как

symbol,integer,real,string или char).

Замечания:

1. Варианты разделяются точкой с запятой.

2. Каждый вариант состоит из функтора и, возможно, списка доменов

соответствующих аргументов.

3. Если функтор не имеет аргументов, вы можете записать в вашей

программе вариантN или вариантN(). В книге везде используется первый

вариант синтаксиса.