TXL
An hybrid functional / rule-based programming language with unification, implied iteration and deep pattern-matching specifically designed to support computer software analysis and source code transformation tasks.This page is linked from: Parsing