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.