term-tools

term-tools provides facilities to perform term rewriting, unification and other basic operations on first-order terms.

Look no further for the documentation.