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.
目 錄
Part i The Prolog Language
Ch1: Introduction to Prolog
Ch2: Syntax and Meaning of Prolog Programs
Ch3: Lists, Operators, Arithmetic
Ch4: Programming Examples
Ch5: Controlling Backtracking
Ch6: Built-in Predicates
Ch7 : Constraint Logic Programming
Ch8: Programming Style and Technique
Ch9: Operations on Data Structures
Ch10: Balanced Trees
Part ii Prolog in Artificial Intelligence
Ch11: Problem-Solving as Search
Ch12: Heuristic Search and A* Algorithm
Ch13: Best-First Search: Minimising Time and Space
Ch14: Problem Decomposition and AND/OR Graphs
Ch15: Knowledge Representation and Expert Systems
Ch16: Probabilistic Reasoning with Bayesian Networks
Ch17: Planning
Ch18: Partial order planning and GRAPHPLAN
Ch19: Scheduling, Simulation and Control with CLP
Ch20: Machine Learning
Ch21: Inductive Logic Programming
Ch22: Qualitative Reasoning
Ch23: Language Processing with Grammar Rules
Ch24: Game Playing
Ch25: Meta-Programming
Appendix A: Some Differences Between Prolog Implementations
Appendix B: Some Frequently Used Predicates
Solutions to Selected Exercises
Index