Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Rewrite rules in the logic domain (including all the rules from the DWA course)
Documentation
ruleDistrOr :: Rule SLogic Source #
ruleComplOr :: Rule SLogic Source #
ruleDefImpl :: Rule SLogic Source #
ruleFalseOr :: Rule SLogic Source #
ruleIdempOr :: Rule SLogic Source #
ruleNotTrue :: Rule SLogic Source #
ruleTrueAnd :: Rule SLogic Source #
ruleTrueOr :: Rule SLogic Source #
ruleCommOr :: Rule SLogic Source #
ruleCommAnd :: Rule SLogic Source #
ruleAssocOr :: Rule SLogic Source #