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