Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers

During the execution of functional logic programs particular E uni cation pro blems have to be solved quite frequently In this paper we contribute to the e cient solution of such problems in the case where E is induced by particular term rewriting systems called macro tree transducers We formalize the implementation of a deter ministic partial E uni cation… CONTINUE READING