From a strict PL perspective, the Wolfram/Mathematica language is rather based on a term rewriting paradigm. The languages Maude, Pure and TXL would be examples of something that's broadly comparable but more generic. In general, it turns out to be a fairly niche paradigm that's not very useful outside of symbolic computing itself, or related fields such as modeling of PL syntax and compiler internals.