Meta-Interpreter

Term Rewriting Turtles all the way down Language definitions are often based on significant tacit knowledge.

The Meta-Representation of Terms Earlier, we saw that a term is either a variable or a tuple <f,t1, …,tk> (for k ≥ 1) where f is a symbol and each ti is a term.