Секция доменов

Домены в Прологе сходны с типами в Паскале. Они позволяют вам зада-

вать различные имена различным видам данных, которые, в противном случае,

будут выглядеть абсолютно одинаково. В Турбо Пролог'овских программах об-

ъекты в связях (аргументы предикатов) принадлежат доменам, причем это мо-

гут быть как стандартные, так и описанные вами специальные домены.

Секция domains служит двум очень полезным вещам. Во-первых, вы може-

те задать доменам осмысленные имена, даже если внутренне эти домены ана-

логичны уже имеющимся. Во-вторых, объявление специальных доменов исполь-

зуется для описания структур данных, не имеющихся в стандартных доменах.

Иногда очень полезно описать новый домен - особенно, когда вы хотите

прояснить отдельные разделы секции predicates. Объявление собственных до-

менов (благодаря присваиванию осмысленных имен типам аргументов) помогает

документировать описываемые вами предикаты.