Folly-0.2.0.0: A first order logic library in Haskell (Index)

Folly-0.2.0.0: A first order logic library in Haskell

Index

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
Failed	Folly.Utils
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
Succeeded	Folly.Utils
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