Contents
Index
Folly-0.2.0.1: A first order logic library in Haskell
Index
/\
Folly.Formula
appendVarName
Folly.Formula
applyToTerms
Folly.Formula
applyUnifier
Folly.Unification
bic
Folly.Formula
Clause
Folly.Clause
collectVars
Folly.Formula
con
Folly.Formula
conclusion
Folly.Theorem
constant
Folly.Formula
deleteTautologies
Folly.Clause
dis
Folly.Formula
empty
Folly.Clause
Error
Folly.Utils
extractValue
Folly.Utils
f
Folly.Formula
fa
Folly.Formula
Formula
Folly.Formula
freeVars
Folly.Formula
func
Folly.Formula
funcArgs
Folly.Formula
funcName
Folly.Formula
fvt
Folly.Formula
generalize
Folly.Formula
givenClause
Folly.Clause
hypothesis
Folly.Theorem
imp
Folly.Formula
isAtom
Folly.Formula
isConst
Folly.Formula
isFunc
Folly.Formula
isPred
Folly.Lexer
isValid
Folly.Resolution
isValid'
Folly.Resolution
isVar
1 (Function)
Folly.Lexer
2 (Function)
Folly.Formula
lexer
Folly.Lexer
literalArgs
Folly.Formula
matchingLiterals
Folly.Formula
maxClause
Folly.Resolution
mostGeneralUnifier
Folly.Unification
Name
Folly.Utils
name
Folly.Lexer
neg
Folly.Formula
parseFormula
Folly.Parser
parseTheorem
Folly.Parser
pos
Folly.Lexer
pr
Folly.Formula
resolvedClauses
Folly.Clause
showTrace
Folly.Clause
skf
Folly.Formula
standardSkolem
Folly.Resolution
stripNegations
Folly.Formula
subFormula
Folly.Formula
subTerm
Folly.Formula
t
Folly.Formula
te
Folly.Formula
Term
Folly.Formula
testOp
Folly.Lexer
testPred
Folly.Lexer
testQuant
Folly.Lexer
testSep
Folly.Lexer
testVar
Folly.Lexer
Theorem
Folly.Theorem
theorem
Folly.Theorem
toClausalForm
Folly.Formula
Token
Folly.Lexer
toPNF
Folly.Formula
toSkolemForm
Folly.Formula
Unifier
Folly.Unification
unifier
Folly.Unification
uniqueVarSub
Folly.Unification
var
Folly.Formula
varName
Folly.Formula
vars
Folly.Formula
\/
Folly.Formula