Evaluation of Expressions

‘A program is a set of rewrite rules. A rewrite rule consists of two parts: the pattern on the left side and the replacement text on the right side. Computation proceeds by evaluation of expressions. An expression is evaluated by finding those rewrite rules whose pattern matches part of the expression. That part is then replaced by the replacement text of that rule. Evaluation then proceeds by searching for further matching rules until no more are found.’