Next: ref-lod, Previous: ref-syn, Up: Prolog Intro [Contents][Index]
| • 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.