One thing I can say about the Wolfram language is that is actually Lisp with syntax that looks weird at first sight.
However when you look at rule processing, it's like pattern matching on steroids that I haven't seen in lisp world. It looks quite powerful and applies throughout the language (eg the "Query" book).
Too bad the whole language is closed and so heavily licensed .
It's a great blend of Lisp and APL, wrapped up in a notebook interface with first-class interactivity.
Mostly I just use it as an overpowered calculator though.
> it's like pattern matching on steroids that I haven't seen in lisp world
But it does exist in the FP world: Prolog, Erlang.