Though TXL was mentioned here before, it received very little attention. I always found it interesting, so I decided to mention it again...
The TXL programming language is a hybrid functional / rule-based language with unification, implied iteration and deep pattern match. A TXL program consists of an EBNf specifying the structures to be transformed, and a set of structured transformation rules, which are specified by example.
The web site suggest several tasks that are appropriate for TXL. These include program analysis and language processing.
The program transformation wiki has a nice summary page about TXL.
Posted to Logic/Declerative by Ehud Lamm on 10/2/02; 10:58:17 AM