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 arrow Artificial Intelligence ASCII code atomic formula 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 debugging DECsystem-10 Prolog define a predicate definition element empty list example EXIT extra arguments facilities formula functor gensym getO(X given goal fails goal succeeds grammar rules head Horn Clauses infix insertion sort integer John likes(John.X logic programming look Mary match means member(c micro-Prolog notation noun phrase 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 symbol syntax tail term terminal tree uninstantiated variable universal quantifiers verb verb-phrase words write