СТРУКТУРА ПРОЛОГ-ПРОГРАММЫ

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

Назначение этих разделов таково:

— Раздел constants содержит описание констант.

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

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

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

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

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

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

/* комментарии */

constants

< описание констант >

domains

< описание доменов >

database

< описание предикатов динамической базы данных >

predicates

< описание предикатов >

goal

< целевое утверждение >

clauses

< утверждения >