Proper-0.4.3.0: An implementation of propositional logic in Haskell

Safe HaskellSafe-Infered

Proper.Clause

Documentation

data Atom a Source

Instances

Eq a => Eq (Atom a) 
Ord a => Ord (Atom a) 
Show a => Show (Atom a) 

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