Q

An eQuational functional programming language based on term rewrite. It also happens to be dynamically-typed, a rarity for this kind of language, and supports the manipulation of expressions symbolically.