meander/gamma (clojars): Data transformation library combining higher order functional programming with concepts from term rewriting.
Keywords: logic-programming|pattern-matching|program-transformation|substitution|term-rewriting|unification