A practical approach for logic program analysis and transformation

Abstract

In this work we define a schematic language to concisely describe classes of logic programs. We show how our proposed formalism can be profitably employed to represent opportunities for program optimisation: we schematically specify commonly occurring inefficient portions of code and how these can be altered to improve the performance of programs. We have defined a fully automated approach to exploit these opportunities for the analysis and transformation of logic programs. © Springer-Verlag Berlin Heidelberg 2000.