The third 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. Prolog has its roots in logic, however the main aim of this book is to teach Prolog as a practical programming tool. This text therefore concentrates on the art of using the basic mechanisms of Prolog to solve interesting problems.\n\nSalient Features\nCombined approach to Prolog and AI allows flexibility for learning and teaching\nProvides a thorough representation of AI, emphasizing practical techniques and Prolog implementations\nProlog programs for use in projects and research are available for download on the World Wide Web.\nConstraint Logic Programming\nQualitative Reasoning\nInductive Logic Programming\nThe addition of belief networks for handling uncertainty\nA major update on machine learning\nAdditional techniques for improving Program efficiency\nMeta-programming is updated to show how Prolog can be used to implement other languages (including object-oriented programming)\nA new Companion Web site will contain further teaching materials and updates