Proper-0.4.3.0: An implementation of propositional logic in Haskell
Proper.Clause
data Atom a Source
Instances
negation :: Atom a -> Atom aSource
lit :: a -> Atom aSource
nLit :: a -> Atom aSource
literal :: Atom a -> Atom aSource
type Clause c = Set (Atom c)Source
clause :: Ord a => [Atom a] -> Clause aSource
concatClause :: Ord c => Clause c -> Clause c -> Clause cSource