4.2 Semantics

• ref-sem-pro: Programs
• ref-sem-typ: Types of Predicates Supplied with SICStus Prolog
• ref-sem-ctr: Control Structures
• ref-sem-sec: Declarative and Procedural Semantics
• ref-sem-cal: Meta-Calls
• ref-sem-exc: Exceptions Related to Procedure Calls
• ref-sem-occ: Occurs-Check
• ref-sem-con: Summary of Control Predicates

This section gives an informal description of the semantics of SICStus Prolog.