Folly-0.2.0.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
uniqueVarSub :: [Term] -> [Term] -> Unifier Source