What people are saying - Write a review
We haven't found any reviews in the usual places.
Program Equivalence Program Development and Integrity
Synthesis and Transformation of Logic Programs from
Towards Stepwise Schemaguided Synthesis of Logic Programs
16 other sections not shown
Other editions - View all
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