Generalised logic program transformation schemas
Lecture Notes in Computer Science
49 - 68
Item Usage Stats
MetadataShow full item record
Schema-based logic program transformation has proven to be an eective technique for the optimisation of programs. This paper results from the research that began by investigating the suggestions in  to construct a more general database of transformation schemas for optimising logic programs at the declarative level. The proposed transformation schemas fully automate accumulator introduction (also known as descending computational generalisation), tupling generalisation (a special case of structural generalisation), and duality laws (which are extensions to relational programming of the rst duality law of the fold operators in functional programming). The schemas are proven correct. A prototype schema-based transformation system is evaluated. © Springer-Verlag Berlin Heidelberg 1998.