jtp.fol.kif (JTP API Documentation)

Interfaces
CNFConverterTokenTypes
CodeGeneratorTokenTypes
KIFTokenTypes
SimplifierTokenTypes

Classes
CNFConverter
CodeGenerator
KIF2CNF
KIFLexer
KIFParser
Simplifier
SymbolFormat