Prop is a multiparadigm extension of C++, and is designed for building high performance compiler and language transformation systems, using pattern matching and rewriting.

Reference Manual: http://cs1.cs.nyu.edu/phd_students/leunga/Prop/refman/