Data.Logic.Harrison.Unif

unify

solve

fullUnify

unifyAndApply