This book is an excellent introduction for the newcomer to the field of Artificial Intelligence. The many examples make clear the purpose and use of Prolog, and explain basic AI techniques. Futhermore, the text has excellent theoretical sections, ensuring that the reader gains a full understanding of deductive logic, and its implementation in Prolog. The concluding advanced chapters also have interesting discussions of inductive logic, abductive logic and default reasoning. Overall a very readable and informative book.