Term-rewriting software recommendation


Is there an easy to use software that implements term-rewriting? Or do I need to write my own parser for it?

I am looking for something that will take in a fixed set of user-specified rules and will be able to reduce arbitrary terms under those rules. Is there a standard tool for doing such rewrites?