What people are saying - Write a review
We haven't found any reviews in the usual places.
A Closer Look
Using Data Structures
11 other sections not shown
Other editions - View all
alternative answer append arithmetic expression Arity arrow artificial intelligence ASCII code attempt to satisfy backtracking become instantiated boundary condition built-in predicates called Chapter characters clausal form computer terminal's consider current input stream current output stream database debugging DECsystem-10 Prolog define a predicate definition element empty list example EXIT extra arguments f indall facilities formula functor gensym getO(X given goal fails goal succeeds grammar rules head Horn Clauses insertion sort integer John logic logic programming look Mary match means micro-Prolog notation noun phrase number of arguments object parse parse tree possible Predicate Calculus pretty-print problem programming language Prolog program Prolog provides Prolog searches Prolog system proposition question Quicksort re-satisfy recursive REDO represent second argument Section sentence sequence solution specify spy points structure subgoals syntax tail term terminal tree uninstantiated variable universal quantifiers verb phrase words write