#
Chapter
1
Contents
2
List of Figures
3
Preface
4
Introduction
5
Knowledge Representation
6
Prolog's Search Strategy
7
Unification, Recursion and Lists
8
The Box Model of Execution
9
Interlude: Practical Matters
10
Programming Techniques and List Processing
11
Control and Negation
12
Parsing in Prolog
13
Modifying the Search Space
14
Prolog Syntax
15
Another Interlude: Input/Output
16
Operators
17
Advanced Features
18
A Short Prolog Bibliography
19
References