A functional programming language designed in the PROSPECTRA ESPRIT project to support declarative specification of program transformations. It provides higher-order pattern matching on expression trees with backtracking.

[Heckmann88].