## Advances in Logic Programming and Automated Reasoning, Volume 1This series reviews research contributions in logic programming and automated reasoning and is desinged to stimulate and sustain new, productive lines of investigation into symbolic and algebraic computing techniques as they relate to logic programming and automate reasoning. Topics covered include equational reasoning, parallel programming in logic, term rewriting systems, control of logic programs, completion procedures, unification and matching algorithms, design and implementation of deduction systems, logical methods of knowledge representation, logic-based inference techniques, and programs synthesis and verification. |

### What people are saying - Write a review

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

### Contents

1 | |

Equations OrderSortedness and Inheritance | 49 |

An Automated Decision Procedure Based on the Semantic | 96 |

An Assertional Programming System | 120 |

Theory and Applications of the Parallel KnowledgeBased | 135 |

A Semantic Network Logic Suitable for Parallel Implementation | 163 |

A Primitive Recursive Programming Language for a Complete | 193 |

Logic Program Synthesis | 227 |

265 | |

### Other editions - View all

### Common terms and phrases

algorithm answer substitution applied Artificial Intelligence atomic Automated bundle circular waiting Class Concepts classification numbers color 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 inherited initial instantiated interpretation knowledge base knowledge representation Lemma 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 Soundness Theorem specification step subsumption sun clause task pool theorem proving tion to-be-locked transformation tree type b statement type symbol unifies updated var(e variables

### Popular passages

Page 1 - The opinions expressed in this chapter are those of the authors and do not reflect the policies, either expressed or implied, of any granting agency.