Модульное программирование.

Одной из мощных черт Турбо Пролога является способность системы ра-

ботать с программами, разбитыми на модули. Вы можете писать, компоновать

и компилировать модули раздельно и затем связывать их вместе, чтобы соз-

дать одну выполняемую программу. Если вам надо изменить программу, то

достаточно только отредактировать и перекомпилировать отдельные модули, а

не целую программу. Это вам понравится, если вы пишите большие программы.

Кроме того, модульное программирование позволяет вам иметь еще то преиму-

щество - по умолчанию все имена предикатов и доменов являются локальными.

Это значит, что разные модули могут использовать одинаковые имена для

разных целей.

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

раммированием: проекты и глобальные объявления. Среди прочего эти особен-

ности делают возможным хранить запись о том, какие модули составляют

программу (эта запись называется проектом) и производить контроль типов

(type-checking) через границы модуля. В этом разделе мы определим обе

концепции; затем, используя простой пример, покажем, как несколько моду-

лей могут быть объединены в одну отдельную программу.