Logic Program Synthesis and Transformation

Ecological partial deduction: Preserving characteristic trees without constraints.- Memoing evaluation by source-to-source transformation.- Transformation of left terminating programs: The reordering problem.- Derivation of concurrent algorithms in Tempo.- An argumentation-theoretic approach to logic program transformation.- Complexity of Horn programs.- Studying the cost of logic languages in an abstract interpretation framework for granularity analysis.- Towards automatic control for CLP(?) programs.- Ideal refinement of Datalog programs.- Guiding program development systems by a connection based proof strategy.- Towards an object-oriented methodology for deductive synthesis of logic programs.- Logic program synthesis by induction over Horn Clauses.- Logic program transformation through generalization schemata [extended abstract].- An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations.- Solving deductive planning problems using program analysis and transformation.- Towards a complete proof procedure to prove properties of normal logic programs under the completion.- Termination of logic programs using semantic unification.- On the mechanics of metasystem hierarchies in program transformation.- Efficient translation of lazy functional logic programs into Prolog.