Глобальная база данных.

Вы делаете раздел database глобальным, вставляя перед ключевым сло-

вом database ключевое слово global. Заполнять глобальную базу данных ис-

ходными фактами вы можете только в главном модуле, единственном, содержа-

щем раздел goal. Раздел goal должен предшествовать предложениям базы дан-

ных в главном модуле. Замечание: Если какое-то определение глобальной ба-

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

ваны.