Advise-me-0.1: Assessment services for the Advise-Me project

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

Domain.Logic.Rules

Description

Rewrite rules in the logic domain (including all the rules from the DWA course)

Documentation

ruleAbsorpAnd :: Rule SLogic Source #

ruleAbsorpOr :: Rule SLogic Source #

ruleDistrAnd :: Rule SLogic Source #

ruleDistrOr :: Rule SLogic Source #

ruleComplAnd :: Rule SLogic Source #

ruleComplOr :: Rule SLogic Source #

ruleDeMorganAnd :: Rule SLogic Source #

ruleDeMorganOr :: Rule SLogic Source #

ruleDefEquiv :: Rule SLogic Source #

ruleDefImpl :: Rule SLogic Source #

ruleFalseAnd :: Rule SLogic Source #

ruleFalseOr :: Rule SLogic Source #

ruleIdempAnd :: Rule SLogic Source #

ruleIdempOr :: Rule SLogic Source #

ruleNotFalse :: Rule SLogic Source #

ruleDoubleNeg :: 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 #

ruleAssocAnd :: Rule SLogic Source #