What people are saying - Write a review
We haven't found any reviews in the usual places.
A Closer Look
Using Data Structures
12 other sections not shown
Other editions - View all
alternative answer append arithmetic expression Arity atomic formula attempt to satisfy backtracking boundary condition brackets built-in predicates called Chapter character clausal form consider current input database define a predicate definition del(X display element empty list example EXIT extra arguments fact findall formula functor gensym get_char given goal fails goal succeeds grammar rules head Horn Clauses infix insertion sort integer John likes(john likes(mary logic logic programming look Mary match means member(X notation noun noun_phrase object occurs check output parse tree person(X phrase place-marker possible Predicate Calculus pretty-print problem Prolog implementations Prolog program Prolog searches Prolog system proposition Pythagorean triples question Quicksort recursive REDO represent result second argument second clause Section sentence sequence solution specify spy points Standard Prolog stream subgoals syntax tail term terminal translated unify uninstantiated variable universal quantifiers verb_phrase words write