11.3.183 restore/1

Synopsis

restore(+FileSpec)

Restores a saved-state.

Arguments

FileSpec
file_spec, must be ground

The name of a saved state, `.sav' extension optional.

Description

The system is returned to the program state previously saved to the file denoted by FileSpec with start-up goal Goal. restore/1 may succeed, fail or raise an exception depending on Goal.

Exceptions

instantiation_error
type_error
In FileSpec.
existence_error
The specified file does not exist. If the fileerrors Prolog flag is off, the predicate fails instead of raising this exception.
permission_error
A specified file is protected. If the fileerrors Prolog flag is off, the predicate fails instead of raising this exception.

See Also

save_program/[1,2], ref-sls, ref-sls-sst.


Send feedback on this subject.