What people are saying - Write a review
We haven't found any reviews in the usual places.
numbers for the major entries For builtin predicates these are the entries in Chapter
A Closer Look
11 other sections not shown
Other editions - View all
all(X alternative answer append arithmetic expression Arity Artificial Intelligence ASCII code atomic formula attempt to satisfy backtracking becomes instantiated boundary condition brackets built-in predicate CALL Chapter character clausal form components consider current input stream current output stream database DECsystem-10 define a predicate definition element empty list end-of-file example EXIT extra arguments fact findall formula functor gensym get(x given goal fails goal succeeds grammar rules head Horn Clauses infix operator insertion sort integer John likes(john logic programming look mary match means neighbour notation noun phrase number of arguments object parse tree phrase(X possible Predicate Calculus problem Prolog atoms Prolog program Prolog searches Prolog system propositions question Quicksort re-satisfy reconsult recursive REDO represent second argument second rule Section sentence sequence solution specify spy points structure subgoals symbol syntax tail term terminal uninstantiated variable UNIX verb phrase wine word write