ideas-1.1: Feedback services for intelligent tutoring systems

Portabilityportable (depends on ghc)
Stabilityprovisional
Maintainerbastiaan.heeren@ou.nl
Safe HaskellNone

Ideas.Common.Rewriting.Unification

Description

 

Documentation

unify :: Term -> Term -> Maybe SubstitutionSource

match :: MonadPlus m => Term -> Term -> m SubstitutionSource

matchExtended :: Map Symbol SymbolMatch -> Term -> Term -> [(Substitution, Maybe Term, Maybe Term)]Source

matchList :: Match Term -> Match [Term]Source

type Match a = a -> a -> [Substitution]Source

type SymbolMatch = Match Term -> [Term] -> Term -> [Substitution]Source

unificationTests :: TestSuiteSource