Глобальные объявления.

По умолчание, все имена, используемые в модуле, являются локальными.

Программы общаются через границы модулей при помощи предикатов, опреде-

ленных в разделах global predicates и global database. Домены, определен-

ные в этих глобальных разделах, должны быть определены как глобальные до-

мены (global domains), либо должны быть стандартными доменами.

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

ную базу данных (global database) и глобальные домены (global domains).

Проще всего это сделать, написав все глобальные объявления в отдельном

файле, который вы потом включаете в модуль директивой include. Например,

если все ваши глобальные объявления находятся в файле GLOBSTUF.PRO, вы

можете их включить в модули директивой

include "GLOBSTUF.PRO"

в вершине каждого модуля.

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