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

Oh, interesting. One of the first results from Google turns up this: https://www.stephendiehl.com/posts/exotic02.html 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!