Programming in PrologHere is the book that helped popularize Prolog by making it accessible to a wide range of readers. This edition includes much new material and improved presentation. It will serve as an invaluable reference work for anyone who wants to study and use Prolog as a practical programming language. |
Contents
Tutorial Introduction | 1 |
A Closer Look | 23 |
Using Data Structures | 47 |
Copyright | |
12 other sections not shown
Other editions - View all
Common terms and phrases
aless alternative answer append arithmetic expression Arity Artificial Intelligence ASCII code attempt to satisfy backtracking become instantiated boundary condition brackets built-in predicates called Chapter characters clausal form computer terminal's consider current input stream current output stream database DECsystem-10 Prolog define a predicate definition descendant element empty list example EXIT extra arguments facilities fact findall formula functor gensym geto goal fails goal succeeds grammar rules head Horn Clauses implout insertion sort integer john,X logic programming look mary match means member(c micro-Prolog notation noun phrase object offspring parent parse parse tree possible Predicate Calculus pretty-print problem programming language Prolog program Prolog provides Prolog searches Prolog system proposition question Quicksort re-satisfy reconsult recursive REDO represent second argument Section sentence sequence solution specify spy points structure subgoals syntax tail term terminal uninstantiated variable universal quantifiers verb phrase words workington write