Towards Concrete Syntax Patterns for Logic-based Transformation Rules

Malte Appeltauer, Günter Kniesel
2008 Electronical Notes in Theoretical Computer Science  
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmers to know the meta-level representation of the analysed language and to think and express their analyses in terms of this lowlevel representation. In addition, the backtracking-based evaluation strategy of Prolog may lead to subtle semantic problems when used to express transformations of a logic database. In this
more » ... , we propose an alternative approach, GenTL, a generic transformation language that combines logic-based C onditional T ransformations (CTs) and concrete syntax patterns. This combination addresses the above problems while still offering the full expressive power of logic meta-programming. Compared to approaches based on other formalisms, the design of GenTL offers advantages in terms of composability and easy transformation interference analysis.
doi:10.1016/j.entcs.2008.10.038 fatcat:2o2wrqenzjbfnbm7j3673bha2e