Lisp&#x27;s evaluation strategy is based on a very particular category of rewriting systems known as the lambda calculus. Mathematica&#x27;s is an abstract rewrite system with a broad set of evaluation strategies that are not easily represented in the lambda calculus (without first implementing a term rewriting system).