Db_garbagecollect/1 Внешняя База Данных

Назначение Объединяет свободные участки в базе данных

Обращение db_garbagecollect(БДанн)

Домены (db_selector)

Шаблоны описания (вх)

аргументов

Описание db_garbagecollect просматривает свободные списки в

базах данных и в деревьях для объединения свободных

участков вместе в большие области. Это происходит

автоматически, когда база данных загружается в

оперативную память или в систему расширения памяти.

Было бы хорошо не нуждаться в обращении к этому

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

слишком много свободных участков и это не позволяет

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

то db_garbagecollect может соединить некоторые из

этих участков воедино.

Неудачное Никогда не дает.

завершение

Ошибки 1034 База данных не открыта.

Пример

domains

db_selector = mydba

goal

db_open(mydba,"register.bin",in_file),

% некоторая корректировка

db_garbagecollect(mydba),

db_close(mydba).