Программа на Турбо Прологе состоит из следующих семи разделов: директивы компилятора;CONSTANTS - раздел описания констант;DOMAINS - раздел описания доменов; DATABASE - раздел описания предикатов внутренней базы данных;PREDICATES - раздел описания предикатов; CLAUSES - раздел описания предложений(факты и правила); GOAL - раздел описания внутренней цели. GLOBAL DOMAINS, GLOBAL PREDICATES, GLOBAL – используется в модульном программировании и означает, что ниже следующее объявление относится к нескольким программам. Основные стандартные домены - это: integer - целое число от -32768 до 32767; real - действительное число от +1Е-307 до +1Е308; char - символ, заключенный в одиночные апострофы; string - последовательность символов, заключенная в двойные кавычки; symbol - символическая константа (начинающаяся со строчной буквы последовательность букв латинского алфавита, цифр и знаков подчеркивания или последовательность любых символов, заключенная в кавычки). Этот домен соответствует понятию атома; file - файл. file=<имя файлового домена1>;. . . ;<имя файлового доменаN>. 1 формат: name=t (например, age, number=integer); 2 формат: mylist=elevent*(например, namlist=integer*); 3 формат: region=functor1(d1,d2,…);functor2(d3,d4,…);…(пример: 1)object=int(integer); str(string) 2)mesto=sprava; sleva). functor1, functor2 – это имена альтернатив составной области. d1,d2, d3,d4 – один из типов пролога, который является стандартным, либо определены в разделе domains.