CoALP-0.0.6: Coalgebraic logic programming library

Safe HaskellSafe-Inferred
LanguageHaskell2010

CoALP.Reductions

Description

Term reductions

Synopsis

Documentation

isVarReductOf :: Eq a => Term a b c -> Term a b c -> Maybe (Term a b c)

Compute term reduction measure according to Definition 5.2

nvPropSub :: Term a b c -> [(Term a b c, [Int])]

Compute non-variable proper subterms of a term

required for the computation of a guarding context