I don't know anything about Wolfram Language, but Stephen Diehl's "Exotic Programming Ideas: Part 2 (Term Rewriting)" [0] says it's based on a term rewriting sy

I don't know anything about Wolfram Language, but Stephen Diehl's "Exotic Programming Ideas: Part 2 (Term Rewriting)" [0] says it's based on a term rewriting system. The blog post describes term rewriting systems using Wolfram Language in its examples. [0] https://www.stephendiehl.com/posts/exotic02.html https://www.stephendiehl.com/posts/exotic02.html