СТРУКТУРА ПРОГРАММЫ.

Обычно программа на Turbo-Prolog имеет следующую структуру :

constants — определение констант

domains — определение типов данных

predicates — определение предикатов

clauses — определение фактов и правил

Содержимое разделов constants и domains может отсутствовать, но для улучшения читабельности и ясности программы рекомендуется всегда описывать константы и домены в тексте.

Перед разделом clauses (или после него ) может располагаться раздел goal. В этом разделе определяется цель , которую необходимо достичь для решения поставленной задачи. Цель может состоять из нескольких подцелей. Если разрабатываемая программа предназначена для работы в пакетном режиме, т.е. если необходимо создать exe — файл, раздел goal не может быть опущен.

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

global domains

global predicates

Определение типов данных и предикатов в этих разделах позволяет обеспечить межмодульный интерфейс.

Наконец, перед разделом predicates может быть дополнительный раздел , содержащий определение предикатов динамической базы данных. Этот раздел называется

database

Таким образом, программа на Turbo-Prolog может состоять из следующих разделов :

constants

domains

global domains

database

predicates

global predicates

clauses

goal