FirstOrderTheory.Syntax
data Literal
data Atom
data Term
data NNFFormula
nnfLit
nnfCon
nnfDis
toPropositionalCNF
negateLit
atomArgs
predicateName
isFunctionWithName
isNeg
getAtom
varName
intVal
funcArgs
lit
nLit
atom
func
var
intConst