There are some common themes here. Let's get some precise terminology so we can all talk about the same thing. Some questions to ponder: Is Lisp a term re-wri

There are some common themes here. Let's get some precise terminology so we can all talk about the same thing. Some questions to ponder: Is Lisp a term re-writing system? https://news.ycombinator.com/item?id=9554335 https://news.ycombinator.com/item?id=9554335 Is lambda calculus a term rewriting system? https://cstheory.stackexchange.com/questions/36090/how-is-lambda-calculus-a-specific-type-of-term-writing-system https://cstheory.stackexchange.com/questions/36090/how-is-la... Is the Mathematica language a term-rewriting system? https://mathematica.stackexchange.com/questions/119933/why-did-the-mathematica-language-choose-term-rewriting-instead-of-the-lambda-cal https://mathematica.stackexchange.com/questions/119933/why-d... And to round it all up: Is Lisp an evaluation system and Lambda calculus an evaluation system? [I'll leave this one to the reader]