Simply Logical: Intelligent Reasoning by Example

Designed as an introduction to PROLOG programming for artificial intelligence, this text discusses both basic and advanced AI techniques, as implemented in PROLOG. Writing for the undergraduate, the author simplifies the basic concepts of logic programming, seen as a useful framework for explaining AI techniques. Exercises are integrated with explanatory text and difficult concepts are made clear by the use of simple, real-world examples. As a further teaching aid, each technique discussed is accompanied by a program implementing it, and the importance of learning the skill of program development is emphasized.