## Logic Program Synthesis and Transformation: Proceedings of LOPSTR ...,Springer-Verlag, 1991 - Computers |

### What people are saying - Write a review

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

### Contents

Program Equivalence Program Development and Integrity | 1 |

Synthesis and Transformation of Logic Programs from | 27 |

Towards Stepwise Schemaguided Synthesis of Logic Programs | 46 |

Copyright | |

16 other sections not shown

### Other editions - View all

### Common terms and phrases

abstract interpretation algorithm applied approach argument arity Artificial Intelligence atom axiom forall behaviour body clause commit label Computer Science condition constraints construction correct defined definitional tree denotes derived determinisation disjuncts environment example execution expression FGDC Figure finite formula function symbols functor give given GoAhead1 goal Godel commit ground terms Herbrand Horn clauses implementation induction inference rules input instantiated language literals logic descriptions logic programs node notion object oriented operational semantics OutEnv output OutVars partial evaluation polymorphism predicate predicate symbol problem procedure program development program synthesis program transformation Prolog program proof properties pruning step recursive relation replaced Req1 residual program resolution result rewrite rules scheme semantics sequence signature SLDNF-tree soft commit solution specialised specification strategy structure subgoals subtree tail recursive technique Temporal Logic term rewriting system theorem theory transformation schemata true unfolding unification unified variables well-moded