## Logic Program Synthesis and Transformation: Proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 |

### What people are saying - Write a review

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

### Contents

Contents | 1 |

Deductive Synthesis of Programs for Query Answering | 15 |

Synthesis of Narrowing Programs | 30 |

Copyright | |

13 other sections not shown

### Common terms and phrases

abstract interpretation admissible evaluation spaces algorithm applied argument ATMS atoms auxiliary base best-first search Bundy Computation Induction consider contains corresponding deductive deﬁned deﬁnition definition clause delete denote derivation elimination EOLDT structure EOLDT tree equations equivalent example expression finite ﬁrst folding formal formula free variables full Prolog function Functional Programming goal G Horn clauses implementation Incremental Transformation inference rules input input-output goal intensional answers label member(x narrowing nat(X natural number negation NFI-driven Induction node obtained occurring operations output partial evaluation predicate symbol Proc procedure program synthesis program transformation Prolog programs proof nets proof planning properties pure logic program query reachability recursive relational algebra relational calculus replace representation residual program result semantics SLD-strict solution table speciﬁcation step strategy Structural Induction subset subset(t substitution tableau techniques termination Theorem Transformation Problem TransfP tuple unary unfolding unify unnecessary variables valid evaluation wave rules yields