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. |
Other editions - View all
Common terms and phrases
alternative answer append arithmetic expression Arity Artificial Intelligence ASCII code attempt to satisfy backtracking becomes instantiated boundary condition built-in predicates called Chapter characters clausal form computer terminal's conjunction of goals consider control-Z current input stream current output stream database DECsystem-10 Prolog define a predicate definition element empty list example EXIT extra arguments facilities formula functor gensym get0 given goal fails goal succeeds grammar rules head Horn Clauses insertion sort integer logic programming look mary match means member(X micro-Prolog notation noun phrase object offspring parse tree place-marker possible Predicate Calculus problem programming language Prolog implementations Prolog program Prolog provides Prolog searches Prolog system propositions question Quicksort recursive REDO represent result second argument second clause Section sentence sequence solution specify spy points subgoals symbol syntax tail term terminal uninstantiated variable universal quantifiers verb phrase wine words write