· Comprehensive, yet practical book
· The authors include program code to illustrate concepts
· Suitable for students, academics, and professionals

This book uses the unifying thread of SEARCH as a way of bringing together the major techniques used in symbolic Artificial Intelligence. The authors include program code to illustrate concepts in both POP-11 and Prolog. Each chapter covers a technique and is then divided into three sections: 1) an introduction to the technique; 2) development of a low-level of (POP-11) implementation; and 3) development of a high-level (Prolog) implementation.

This is a practical book which should be valuable to those experienced in artificial intelligence, students with some programming background, and academics and professionals looking for a concise discussion of artificial intelligence through SEARCH.