Программирование на языке Турбо-Пролог 2.0. Николаев В.Г - 21 стр.

UptoLike

- 21 -
+----------------------------------- продолжение ---------------+
¦ ¦
¦CLAUSES /* определения предикатов */ ¦
¦ p(....):-p1(...), p2(.....), ... . ¦
¦ p(....):-p1(...), p2(.....), ... . ¦
¦ ¦
¦GOAL /* вызов предиката - цели */ ¦
+---------------------------------------------------------------+
Основные разделы Турбо-Пролог-программы:
DOMAINS - раздел, в котором описываются объекты - компоненты
структуры или терма.
DATABASE - раздел, где описываются термы внутренних баз данных с
указанием типов компонент, которыми оперируют данные термы.
PREDICATES - раздел программы для описания предикатных термов с
указанием типов компонент, которые связывает предикат.
CLAUSES - раздел, в котором раскрываются описания предикатов,
т.е. предикаты определяются с помощью фактов или правил.
GOAL - раздел, где содержится вызов на согласование с базой дан-
ных предикатов-целей (или целевых утверждений).
Рекомендуется, как и в других Турбо-языках, использовать ос-
мысленные имена, для объектов Пролог-программы и никогда не ис-
пользовать ключевые слова и имена стандартных предикатов не по
назначению.
Текст программы в любом месте может содержать комментарий в
виде строки /* ... */. Старайтесь так прокомментировать свою
программу, чтобы к ней не требовалось больше никакой дополнитель-
ной документации.