What people are saying - Write a review
We haven't found any reviews in the usual places.
Comparison with Lisp and Prolog
6 other sections not shown
algorithm append applied approach arguments assertions goals outputs atomic formula backtracking binary binding Chapter command computation CONCURRENT PROLOG CONCURRENT TABLOG conjunction connectives current goal data domain declare deduction deductive-tableau proof system defining formulas definition described disjunction entries equality rule equations equivalence eval(p example false first-order logic first-order predicate logic function symbol Functional Programming Haridi Horn clauses implementation implies inference rules input Kowalski lazy evaluation left-hand side Lindstrom 85 LISP LISP and PROLOG logic programming logical variables MACLISP Manna and Waldinger matching negation nonclausal resolution rule nondeterminism nonunify notation occurrences operator or-parallelism order of evaluation parallel execution polarity predicate logic problem procedural interpretation program assertions program synthesis programming language PROLOG interpreter PROLOG program proof procedure prove qsort quantifiers quicksort recursive reduced relation replaced restricted semantics sentence sequential SLD resolution solution solve specify subexpressions subformula syntactic syntax tableau TABLOG interpreter TABLOG program theorem prover unification unifier