Appendices

Chapter 10 describes a number of built-in Prolog predicates, and lists a library of utility programs. These predicates are used in various programs throughout the book.

Chapter 11 gives two programs converting to and from clausal logic. The first program transforms a formula in first-order Predicate Logic to clausal form, as described in Section 2.5. The second program completes a given set of general clauses by means of Predicate Completion (Section 8.2). The output of this program is a formula in Predicate Logic, which can be transformed back to clausal form by means of the first program.

Chapter 12 gives detailed answers to selected exercises.