Detailed information is found in the reference pages for the following:
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.