Сохранение базы данных с фактами во время работы программы

-----------------------------------

Предикат save сохраняет факты из указанной базы данных в файле. Этот

предикат имеет один или два аргумента:

save(fileName) /* (i) */ save(fileName, databaseName) /* (i,i) */

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

данных), в файле fileName будут сохранены факты из базы данных dbasedom,

используемой по умолчанию.

При вызове предиката save с двумя аргументами (имя файла и имя базы

данных), в указанном файле будут сохранены факты из database секции

databaseName.