4.3 Loading Programs

• ref-lod-ove: Overview
• ref-lod-lod: The Load Predicates
• ref-lod-rpx: Redefining Procedures during Program Execution
• ref-lod-dcl: Declarations and Initializations
• ref-lod-exp: Term and Goal Expansion
• ref-lod-cnd: Conditional Compilation
• ref-lod-lis: Predicate List