Uses the unifying thread of search in problem-solving systems to bring together the major applications and modeling techniques that use symbolic artificial intelligence (AI). Each chapter covers one technique, and develops both a POP-11 implementation and a Prolog implementation of the technique. The early chapters are concerned with va...