Секция предложений

В секцию clauses (предложений) вы помещаете все факты и правила,

составляющие вашу программу. Основное внимание в Главе 3 было сосредото-

чено вокруг предложений (фактов и правил) вашей программы: что они озна-

чают, как их писать и т.д.

Если вы поняли, что собой представляют факты и правила и как их за-

писывать в Прологе, то вы знаете, что должно быть в секции clauses. Все

предложения одного данного предиката в секции clauses должны располагать-

ся вместе; последовательность предложений, описывающих один предикат, на-

зывается процедурой.

Пытаясь разрешить цель, Турбо Пролог (начиная с первого предложения

секции clauses) будет просматривать каждый факт и правило, стремясь найти

сопоставление. По мере продвижения Турбо Пролога вниз по секции clauses,

он устанавливает внутренний указатель на каждое предложение, следующее по

отношению к сопоставимому с текущей подцелью. Если текущее предложение не

является частью логического пути, ведущего к решению, то Турбо Пролог

возвращается к установленному указателю и ищет следующее сопоставление

(этот процесс называется "поиск с возвратом", о котором мы упомянули в

Главе 3).