10. A catalogue of useful predicates#

Section 10.1 describes a number of built-in Prolog predicates. Section 10.2 comprises a small library of utility predicates that are used by programs in this book.