11.2.19 Saving Programs
initialization
:G declaration,ISO- declares G to be run when program is started
load_files(
:F)
load_files(
:F,
+O)
- load files according to options O
user:runtime_entry(
+S)
hook- entry point for a runtime system
save_files(
+L,
+F)
- Saves the modules, predicates and clauses and
directives in the given files L into file F
save_modules(
+L,
+F)
- save the modules specifed in L into file F
save_predicates(
:L,
+F)
- save the predicates specified in L into file F
save_program(
+F)
save_program(
+F,
:G)
- save all Prolog data into file F with startup goal G
volatile
:P declaration- declares predicates specified by P to not be included in
saves.
Send feedback on this subject.