## Nonclausal logic programming |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Examples | 36 |

Comparison with Lisp and Prolog | 47 |

Procedural Interpretation | 60 |

Copyright | |

6 other sections not shown

### Common terms and phrases

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