Folly-0.1.5.1: A first order logic library in Haskell
Folly.Unification
type Unifier = Map Term Term Source
applyUnifier :: Unifier -> Term -> Term Source
mostGeneralUnifier :: [(Term, Term)] -> Maybe Unifier Source
unifier :: [(Term, Term)] -> Unifier Source