We present a new transformation of Prolog programs preserving operational equivalence. Our transformation — EBC (equality based continuation) transformation — relies on the introduction of equations between terms. These equations are used to introduce alternative and more efficient representations of terms. When applied to binary Prolog programs, EBC is able to perform the following optimizations by mere source to source transformations: removal of existential variables in programs using difference lists and accumulators, reduction of the number of occur-checks, interprocedural register allocation when executed on the WAM, linearization of recursions, optimization of continuation-like user data structures.
CITATION STYLE
Neumerkel, U. (1994). A Transformation Based on the Equality between Terms (pp. 162–176). https://doi.org/10.1007/978-1-4471-3234-9_15
Mendeley helps you to discover research relevant for your work.