• 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.