## Advances in Logic Programming and Automated Reasoning, Volume 1 |

### What people are saying - Write a review

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

### Contents

Parallel Deduction of Connection Graphs | 1 |

Equations OrderSortedness and Inheritance | 49 |

An Automated Decision Procedure Based on the Semantic | 96 |

Copyright | |

6 other sections not shown

### Other editions - View all

Advances in Logic Programming and Automated Reasoning, Volume 1 Ralph W. Wilkerson Limited preview - 1992 |

### Common terms and phrases

algorithm answer substitution applied Artificial Intelligence atomic Automated bundle circular waiting Class Concepts classification numbers color Computer Science connection graph contains database dc links dc parallelism dcdp links decomposed decomposition deduction defined definition denotes derived E-model empty clause equality axioms equational logic program equational theory Euler paths example executable first-order logic formal formula free(S goal clause ground term heuristics Hoare triple Horn clause implementation inherited initial instantiated interpretation knowledge base knowledge representation Lemma limitor list link-L lock node or-links order-sorted parallel link resolution paramodulation partition path PR functions predicate logic problem program segment program synthesis programming language Prolog proof properties quantifiers query relation rewriting robot-1 satellite clause satellite-cl search space semantic networks semantic tableau shown in Figure solved sort specification subsumption sun clause task pool Theorem Proving tion to-be-locked transformation tree type b statement type symbol unifies updated variables