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, 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.