Секция предикатов

Если в секции clauses программы на Турбо Прологе вы описали собст-

венный предикат, то вы обязаны объявить этот предикат в секции

predicates; в противном случае Турбо Пролог не поймет, о чем вы ему гово-

рите. В результате объявления предиката вы сообщаете Турбо Прологу, к ка-

ким доменам (типам) принадлежат аргументы этого предиката.

Турбо Пролог поставляется с богатым набором встроенных предикатов,

некоторые из которых вы уже использовали (write, makewindow, nl и т.д.).

Вам не нужно объявлять какие-либо встроенные предикаты Турбо Пролога, ис-

пользуемые в вашей программе. (Справочное руководство по Турбо Прологу

представляет полное описание всех встроенных предикатов.)

Предикаты задают факты и правила. В секции же программы predicates

все предикаты просто перечисляются с указанием типов (доменов) их аргу-

ментов. Хотя сердцем программы является секция clauses, эффективность ра-

боты Турбо Пролога значительно возрастает именно из-за того, что вы объ-

являете типы объектов (аргументов), с которыми работают ваши факты и пра-

вила.