Safe Haskell | Safe |
---|---|

Language | Haskell98 |

# Documentation

appendVarName :: String -> Term -> Term Source

collectVars :: Formula -> [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