jtp.fol (JTP API Documentation)

Interfaces
Clause
CNFSentence
Literal
Unifyable

Classes
CanonicalVariables
DefaultClause
DefaultCNFSentence
DefaultLiteral
SubstitutableList
SubstUtils
Symbol
UnifyableList
Variable
Variable.NameComparator