================================================================================
P9512   J.J. Brunekreef
        "TransLog, an interactive tool for transformation of logic programs"


This report describes `TransLog', a prototype of a transformation tool for
logic programs. The tool has been developed with the ASF+SDF
Meta-environment, a programming environment generator tool based on 
algebraic specification. TransLog supports the interactive transformation 
of (a part of) a program by means of buttons representing transformation 
rules. This report contains the complete annotated algebraic specification 
of TransLog.