language 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.