4.11 Modules

• ref-mod-ove: Overview
• ref-mod-bas: Basic Concepts
• ref-mod-def: Defining a Module
• ref-mod-n2m: Converting Non-module-files into Module-files
• ref-mod-lod: Loading a Module
• ref-mod-vis: Visibility Rules
• ref-mod-som: The Source Module
• ref-mod-tyi: The Type-in Module
• ref-mod-dmo: Creating a Module Dynamically
• ref-mod-mpc: Module Prefixes on Clauses
• ref-mod-cim: Debugging Code in a Module
• ref-mod-ncl: Name Clashes
• ref-mod-ilm: Obtaining Information about Loaded Modules
• ref-mod-idp: Importing Dynamic Predicates
• ref-mod-mne: Module Name Expansion
• ref-mod-met: The meta_predicate Declaration
• ref-mod-sem: Semantics of Module Name Expansion
• ref-mod-sum: Predicate Summary