What people are saying - Write a review
We haven't found any reviews in the usual places.
Figures and programs
Data structures and program structures
General resolution methods
12 other sections not shown
algorithm allow already application field ARRAY artificial intelligence atom axioms backtracking binary matrix binary tree bool brackets CAR and CDR Chapter cheese chess clausal form computer scientists COND conjunctive normal form considered contains data structures decision tree deduction defined direction eliminated ENDPROC Eric ESAC evaluation example exists expert systems Figure formula function given graph heuristics human hypothesis implementation instantiated integer interface ISIN LAMDA large number leads LISP literal loops manipulation methods mouse move MYCIN natural language node normal form objects order logic parameters particular path pawn play position possible predicate calculus procedure PROLOG proof quantifier reader recursive refutation represented resolution result rules set of clauses solution square stack sub-tree successors syntax techniques theorem prover THEREEXISTS tion transformed transitive closure tree traversal true unification users variables writing