# Chapter
1 Introduction
2 Using Prolog's Inference Engine
3 Backward Chaining with Uncertainty
4 Explanation
5 Production Systems
6 Frames
7 Integration
8 Backward Chaining Indexes
9 User Interface
10 Two Hybrids
11 Prototyping
12 Rubik's Cube
13 Appendix