"Expert systems in Prolog"--Cover.

1. Introduction -- 2. Using Prolog's inference engine -- 3. Backward chaining with uncertainty -- 4. Explanation -- 5. Forward chaining -- 6. Frames -- 7. Integration -- 8. Performance -- 9. User interface -- 10. Two hybrids -- 11. Prototyping --12. Rubik's cube.

"This book should probably be called "Building Expert System Shells in Prolog." While Prolog is an excellent language for directly implementing some rule-based applications, it's greater strength is the ease with which it can model complex knowledge structures and the reasoning strategies required to use them. For example, while Prolog has native support for backward-chaining rules, it takes just a few lines of code to implement a shell for forward-chaining, production system applications. This book explores different knowledge representations and reasoning strategies, with sample of the sorts of applications that can be built with them." --Back of cover.