Prolog Data Structures

Basic abstract data structures, sufficient to understand the execution model and the meaning of the built-in predicates, are introduced. The full syntax of these data structures is given in Chapter 9.