What people are saying - Write a review
We haven't found any reviews in the usual places.
Using Data Structures
Backtracking and Cut
11 other sections not shown
alternative answer append arithmetic expression Artiﬁcial Intelligence atomic formula attempt to satisfy backtracking becomes instantiated boundary condition built-in predicates called Chapter characters clausal form computer terminalís consider current input stream database DECsystem-10 Prolog deﬁne a predicate deﬁnition element empty list example EXIT extra arguments facilities fact ﬁle ﬁnd ﬁnding ﬁrst argument ﬁrst clause ﬁrst goal ﬁrst rule ﬂow formula functor gensym goal fails goal succeeds grammar rules head Horn Clauses inﬁx operator insertion sort integer John logic programming look Mary match means micro-Prolog notation noun noun_phrase object parse parse tree phrase possible precedence class Predicate Calculus pretty-print problem programming language Prolog program Prolog provides Prolog searches Prolog system proposition Pythagorean triples quantiﬁers question Quicksort re-satisfy recursive REDO represent satisﬁed second argument Section sentence sequence solution speciﬁed spy points structure subgoals syntax tail term terminal uninstantiated variable verb_phrase words write