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://www.cs.nyu.edu/leunga/Prop/refman/refman.html
-- KarlTrygveKalleberg - 06 Jul 2005