Folly-0.1.3.0: A first order logic library in Haskell

Safe HaskellSafe-Inferred

Folly.Unification

Documentation

applyUnifier :: Unifier -> Term -> Term

mostGeneralUnifier :: [(Term, Term)] -> Maybe Unifier

unifier :: [(Term, Term)] -> Unifier