I have always found term rewriting a fascinating idea as a programing paradigm and the Wolfram language seems very cool. It is a shame that it is a proprietary language.
An even more insane language based on term rewriting is the Egison programming language [1]. Egison even supports pattern matching on infinite data structures, it is pretty cool.