При программировании на Турбо Прологе снячала определяют объекты и отношения предметной области, а затем определяют правила, в которых указывается, когда эти отношения являются истинными. После того, определен набор фактов, можно задавать вопросы, касающиеся этих фактов;
На основе фактов и правил Турбо Прологе ответит на вопросы, касающиеся этих отношений, так как обладает вспроенным механизмом поиска решения (поиск вглубь).
Раздел clauses - это ядро программы на Турбо Пролога; в нем размещаются факты и правила, которыми оперирует Турбо Пролог, пытаясь достичь цели программы.
В разделе predicates объявляются предикаты пользователя (встроенные предикаты ТП не объявляются).
В разделе domains описываются любые используемые домены (типы аргументов пользователя), которые не являются стандартными доменами ТП. Стандартные домены не описываются.
В разделе goal помещается встроенная (внутренняя) цель, когда программисту требуется, чтобы программа могла выполняться вне среды ТП и независимо от нее.
