Saving and Loading the Prolog Database

• ref-sls-ove: Overview of QOF Files
• ref-sls-csr: Compatibility with save/restore in previous releases
• ref-sls-for: Foreign Code
• ref-sls-sst: Saved-States
• ref-sls-ssl: Selective saving and loading of QOF files
• ref-sls-igs: Initializing Goals in Saved States
• ref-sls-lis: Predicate List