11.3.189 save_program/[1,2]

Synopsis

save_program(+File)

save_program(+File, +Goal)

Saves the state of the current execution in object format to File. A goal, Goal, to be called upon execution/restoring of the saved state, may be specified.

Arguments

File
file_spec, must be ground

A file specification, `.sav' extension optional.

:Goal
callable, must be nonvar

A goal, defaults to true.

Description

save_program/[1,2] creates a binary representation of all predicates in all modules existing in the system. However, it does not save the user's pre-linked code. It also saves such states of the system as operator definitions, Prolog flags, debugging and advice state, initializations, and dependencies on foreign resources.

The resulting file can be restored using restore/1.

Exceptions

instantiation_error
File or Goal is not bound.
type_error
File is not a valid file specification, or Goal is not a callable.
permission_error
File is not writable.

See Also

restore/1, ref-sls, ref-sls-sst.


Send feedback on this subject.