Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    An Algebraic Specification of a Transformation Tool for Prolog Programs

    2nd International Workshop on the Theory and Practice of Algebraic Specifications

    Amsterdam, 25th - 26th September 1997


    J.J. Brunekreef


    The paper reports about a case study in algebraic specification. It describes TransLog, a transformation tool for pure Prolog programs.

    TransLog supports the interactive transformation of (a part of) a program. Six transformation steps are supported: unfolding, folding, goal definition, argument permutation (an instance of goal replacement), goal switching and definition elimination.

    As much as possible, pure Prolog semantics are preserved. The tool is equipped with navigation options, which allow the user to switch from the current program to another program in a transformation sequence.

    TransLog has been implemented with the ASF+SDFMeta-environment.

    The paper focuses on the algebraic specification of the tool, not on the underlying theory of (logic) program transformation.

    The specification is presented at a global level, only the specification of the unfold and fold step is discussed more in depth.


    PDF filePDF Version of this Paper (132kb)