11.3.193 save_predicates/2

Synopsis

save_predicates(+PredSpecs, +File)

Saves all predicates in PredSpecs in PO format to File.

Arguments

:PredSpecs
pred_spec_tree

A list of predicate specifications.

File
file_spec, must be ground

A file specification, `.po' extension optional.

Description

save_predicates/2 saves the current definitions of all the predicates specified by the list of predicate specifications in PO format into a file. The module of the predicates saved in the PO file is fixed, so it is not possible to save a predicate from any module foo, and reload it into module bar. Source file information and embedded directives are not saved. A typical use of this would be to take a snapshot of a table of dynamic facts.

The PO file that is written out can be loaded using load_files/[1,2].

Exceptions

instantiation_error
PredSpecs or File is not bound.
type_error
PredSpecs is not a valid list of predicate specifications, or File is not a valid file specification.
permission_error
File is not writable, or a predicate is built-in, TODO.
existence_error
A predicate is undefined, TODO.

See Also

load_files/[1,2], ref-sls, ref-sls-ssl.


Send feedback on this subject.