Higher-order transformation of logic programs
Silvija Seres and Michael Spivey
It has earlier been assumed that a compositional approach to
algorithm design and program transformation is somehow
unique to functional programming. Elegant theoretical
results codify the basic laws of algorithmics within the
functional paradigm and with this paper we hope to demonstrate
that some of the same techniques and results are applicable
to logic programming as well.