logo search
TurboProlog / Документация / TOM_1

Основные секции программы на Турбо Прологе

Обычно, программа на Турбо Прологе состоит из трех или четырех ос-

новных программных секций. К ним относятся: секция "clauses" (предложе-

ний), секция "predicates" (предикатов), секция "domains" (доменов) и,

иногда, секция "goal" (используемая при создании автономных исполняемых

программ).

# Секция clauses - это сердце программы на Турбо Прологе; именно в

эту секцию вы записываете факты и правила, которыми будет опериро-

вать Турбо Пролог, пытаясь разрешить цель программы.

# Секция predicates - это та, в которой вы объявляете свои предикаты

и домены (типы) их аргументов. (Вам не нужно декларировать предика-

ты, встроенные в Турбо Пролог.)

# Секция domains служит для объявления всех используемых вами доме-

нов, не являющихся стандартными доменами Турбо Пролога. (Вам не нуж-

но объявлять стандартные домены.)

# Секция goal - это та, в которую вы помещаете встроенную (внутрен-

нюю) цель в случае, если вы хотите, чтобы ваша программа могла за-

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