Safe Haskell | Safe-Inferred |
---|
Proper.Clause
Documentation
concatClause :: Ord c => Clause c -> Clause c -> Clause c
assignTruthVal :: Atom l -> Bool
Proper-0.5.2.0: An implementation of propositional logic in Haskell
Safe Haskell | Safe-Inferred |
---|
Proper.Clause
concatClause :: Ord c => Clause c -> Clause c -> Clause c
assignTruthVal :: Atom l -> Bool