| Introduction, first order logic declarative and procedural semantics
| First order logic declarative and procedural semantics (continued)
| Negation as failure; Backtracking and cut
| Prolog programming techniques
| Prolog programming techniques (continued)
| Prolog programming techniques (continued)
| Prolog programming techniques (continued)
| Metalogic predicates
| Extra-logic predicates
| Nondeterministic Programming
| Incomplete data structures; difference lists
| Search techniques
| Search techniques (continued)
| Search techniques (continued)
