Comment by dTal

Worth noting that pattern matching and term rewriting are a sufficiently general combination that it forms the basis for Mathematica.