| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
TPDB.DP.Unify
Synopsis
- mgu :: (Ord v, Eq c, TermC v c) => Term v c -> Term v c -> Maybe (Map v (Term v c))
- match :: (Ord v, Ord w, Eq c, TermC v c, TermC w c) => Term v c -> Term w c -> Maybe (Map v (Term w c))
- unifies :: (Ord v, Eq c) => Term v c -> Term v c -> Bool
- apply :: Ord k => Term k s -> Map k (Term k s) -> Term k s
- times :: (Ord v, TermC v c) => Substitution v c -> Substitution v c -> Substitution v c
Documentation
mgu :: (Ord v, Eq c, TermC v c) => Term v c -> Term v c -> Maybe (Map v (Term v c)) Source #
naive implementation (worst case exponential)