Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
appendVarName :: String -> Term -> Term Source
stripNegations :: Formula -> Formula Source
generalize :: Formula -> Formula Source
literalArgs :: Formula -> [Term] Source
toSkolemForm :: Formula -> Formula Source
toClausalForm :: Formula -> [[Formula]] Source
matchingLiterals :: Formula -> Formula -> Bool Source