4.4 Saving and Loading the Prolog Database

• ref-sls-ove: Overview of PO Files
• ref-sls-sst: Saved-States
• ref-sls-ssl: Selective Saving and Loading of PO Files
• ref-sls-lis: Predicate List