Term rewriting might help.

https://en.wikipedia.org/wiki/Pure_(programming_language)