3 ms·
Not sure how much detail you are looking for, but I think essentially it is a term rewriting system.
by codekilla 5y ago
Not sure how much detail you are looking for, but I think essentially it is a term rewriting system.
- timmg 5y agoOh, 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!