Обычно программа на 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