mpg-top-eqs - SICStus Prolog

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.