Prolog programming for artificial intelligence
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. 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. 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. The third edition has been fully revised and extended to provide an even greater range of applications, which further enhance its value as a self-contained guide to Prolog, AI or AI Programming for students and professional programmers alike.
What people are saying - Write a review
We haven't found any reviews in the usual places.
An Overview of Prolog
Syntax and Meaning of Prolog Programs
Lists Operators Arithmetic
15 other sections not shown
Other editions - View all
advice-table algorithm alpha-beta AND/OR graph Answer arcs arguments Artificial Intelligence askable atom backtracking best-first search binary dictionary binary relation binary tree breadth-first search built-in candidate canget chapter chess clause computation conc corresponding cost database declarative meaning delete depth-first depth-first search digits efficiency eight queens problem example execution expand expert system functor game tree goal list goal node Goal2 Goall greatest common divisor heuristic illustrates implementation input insert instantiated integer Item List2 Listl matching minimax modules move NewTree notation objects operator output parent path pathl pattern-directed permutation position Posl predecessor predicate problem procedure program of Figure programming language Prolog programs question quicksort representation represented root RootPos rules satisfy search tree sequence shown in Figure solution tree solve specified structure subtree successor Tail Term Trace Treel true useranswer variables write