logic-classes-1.5.3: Framework for propositional and first order logic, theorem proving

Safe HaskellNone
LanguageHaskell98

Data.Logic.Harrison.Unif

Documentation

unify :: Term term v f => Map v term -> [(term, term)] -> Failing (Map v term) Source

solve :: Term term v f => Map v term -> Map v term Source

fullUnify :: Term term v f => [(term, term)] -> Failing (Map v term) Source

unifyAndApply :: Term term v f => [(term, term)] -> Failing [(term, term)] Source