Mathematica has thousand of functions, this seems to be just an algorithm for defining and using rules like that in mathematica.