Term Rewriting

Involves transforming expressions according to a set of rules to perform computation.