This chapter describes the syntax and semantics of the Prolog language, and introduces the central built-in predicates and other important language constructs. In many cases, an entry in a list of built-in predicates, will be annotated with keywords. These annotations are defined in mpg-ref-cat.
| • ref-syn: | Syntax | |
| • ref-sem: | Semantics | |
| • ref-lod: | Loading Programs | |
| • ref-sls: | Saving and Loading the Prolog Database | |
| • ref-fdi: | Files and Directories | |
| • ref-iou: | Input and Output | |
| • ref-ari: | Arithmetic | |
| • ref-lte: | Looking at Terms | |
| • ref-lps: | Looking at the Program State | |
| • ref-mgc: | Memory Use and Garbage Collection | |
| • ref-mod: | Modules | |
| • ref-mdb: | Modification of the Database | |
| • ref-all: | Sets and Bags: Collecting Solutions to a Goal | |
| • ref-gru: | Grammar Rules | |
| • ref-ere: | Errors and Exceptions | |
| • ref-msg: | Messages and Queries | |
| • ref-oth: | Other Topics |