- Introduction
- Facets of Prolog
- Basic Concepts
- Data Structures
- Reading Prolog Programs
- Writing Prolog Programs
- Termination
- Nontermination
- Integer Arithmetic
- Higher-order Predicates
- Logical Purity
- Declarative Testing
- Declarative Debugging
- Global Variables
- Thinking in States
- Definite Clause Grammars
- Meta-interpreters
- Macros
- Combinatorial Optimization
- Expert Systems
- Web Applications
- Theorem Proving
- Logic Puzzles
- Efficiency
- Memoization
- Horror Stories
- Fun Facts
- The Future
Selected example programs are available as showcases.