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.