Folly-0.2.0.1: A first order logic library in Haskell

Safe HaskellSafe
LanguageHaskell98

Folly.Formula

Documentation

data Term Source

Instances

data Formula Source

Instances

fvt :: Term -> Set Term Source

subTerm :: Map Term Term -> Term -> Term Source

isVar :: Term -> Bool Source

isConst :: Term -> Bool Source

isFunc :: Term -> Bool Source

funcName :: Term -> String Source

funcArgs :: Term -> [Term] Source

varName :: Term -> String Source

appendVarName :: String -> Term -> Term Source

collectVars :: Formula -> [Term] Source

var :: String -> Term Source

func :: [Char] -> [Term] -> Term Source

constant :: String -> Term Source

te :: Term -> Formula -> Formula Source

fa :: Term -> Formula -> Formula Source

pr :: String -> [Term] -> Formula Source

con :: Formula -> Formula -> Formula Source

dis :: Formula -> Formula -> Formula Source

neg :: Formula -> Formula Source

imp :: Formula -> Formula -> Formula Source

bic :: Formula -> Formula -> Formula Source

t :: Formula Source

f :: Formula Source

(/\) :: Formula -> Formula -> Formula Source

(\/) :: Formula -> Formula -> Formula Source

vars :: Formula -> Set Term Source

freeVars :: Formula -> Set Term Source

isAtom :: Formula -> Bool Source

stripNegations :: Formula -> Formula Source

generalize :: Formula -> Formula Source

subFormula :: Map Term Term -> Formula -> Formula Source

applyToTerms :: Formula -> (Term -> Term) -> Formula Source

literalArgs :: Formula -> [Term] Source

toPNF :: Formula -> Formula Source

toSkolemForm :: Formula -> Formula Source

skf :: Int -> [Term] -> Term Source

toClausalForm :: Formula -> [[Formula]] Source

matchingLiterals :: Formula -> Formula -> Bool Source