Folly-0.1.4.6: A first order logic library in Haskell

Safe HaskellSafe
LanguageHaskell98

Folly.Unification

Documentation

applyUnifier :: Unifier -> Term -> Term Source

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

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