Prolog Programming for Artificial Intelligence, 4th edition

The fourth edition of this best-selling guide to Prolog and Artificial Intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics. New and extended topics include Constraint Logic Programming, abductive reasoning and partial order planning.

Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches Artificial Intelligence using Prolog as a tool for the implementation of AI techniques.
This textbook is meant to teach Prolog as a practical programming tool and so it concentrates on the art of using the basic mechanisms of Prolog to solve interesting problems. The fourth edition has been fully revised and extended to provide an even greater range of applications, making it a self-contained guide to Prolog, AI or AI Programming for students and professional programmers.

• Combined approach to Prolog and AI allows flexibility for learning and teaching.
• Provides a thorough representation of AI, emphasizing practical techniques and Prolog implementations.
• Prolog programs for use in projects and research are available for download from the companion website http://www.pearsoned.co.uk/bratko

• Coverage of Constraint Logic Programming (CLP) is extended and now introduced earlier in the book, in the Prolog part.
• Most of the existing chapters on AI techniques have been systematically improved and updated
• Coverage of planning methods is deepened in a new chapter that includes implementations of partial order planning and the GRAPHPLAN approach
• The treatment of search methods now includes an RTA* program (real-time A* search)
• The chapter on meta-pogramming (now chapter 25) is extended by abductive reasoning, query-the-user facility, and a sketch of CLP interpreter, all implemented as Prolog meta-interpreters
• Programming examples are refreshed throughout the book, making them more interesting and practical. One such example introduces semantic reasoning with the well-known lexical database WordNet®.