Programming in Prolog
Here is the book that helped popularize Prolog by making it accessible to a wide range of readers. This edition is an excellent reference for anyone who wants to study and use Prolog. The book concentrates on teaching the "core" Prolog, and all examples conform to this standard and will run on the most widely-used Prolog implementations.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
alternative answer append arithmetic expression Artificial Intelligence ASCII code atomic formula attempt to re-satisfy 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 database DECsystem-10 Prolog define a predicate definition element empty list example EXIT extra arguments facilities formula functor gensym given goal fails goal succeeds grammar rules head Horn Clauses infix insertion sort integer involves John logic programming look Mary match means micro-Prolog notation noun phrase object parse tree possible Predicate Calculus problem programming language Prolog atoms 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 words write