Folly-0.2.0.0: A first order logic library in Haskell

Safe HaskellSafe
LanguageHaskell98

Folly.Resolution

Documentation

isValid :: Theorem -> Bool Source

isValid' :: (Set Clause -> Clause) -> (Theorem -> Set Clause) -> Theorem -> Bool Source

standardSkolem :: Theorem -> Set Clause Source

maxClause :: Set a -> a Source