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 like pattern matching on steroids that I haven't seen in lisp world

But it does exist in the FP world: Prolog, Erlang.