Oh, interesting. One of the first results from Google turns up this: https://www.stephendiehl.com/posts/exotic02.html

> The most widely used rewriting engines often sit at the heart of programs and languages used for logic programming, proof assistants and computer algebra systems. One of the most popular of these is Mathematica and the Wolfram language.

Thanks!