Maude

SRI

A high-performance reflective language with equational and rewriting logic specification and programming. Influenced by OBJ3.