Programming in Prolog
Here 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.
6 pages matching atomic formula in this book
Results 1-3 of 6
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 current output 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 insertion sort integer involves John logic programming look Mary match means micro-Prolog notation noun phrase object 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 verb_phrase words write