Semantics

• ref-sem-pro: Programs
• ref-sem-typ: Types of Predicates Supplied with Quintus Prolog
• ref-sem-dis: Disjunction
• ref-sem-sec: Declarative and Procedural Semantics
• ref-sem-cut: The Cut
• ref-sem-occ: Occur Check
• ref-sem-con: Control

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