aima.logic.fol
Classes 
Clause
Connectors
DLKnowledgeBase
Fact
FOLDomain
PredicateCollector
Rule
SubstVisitor
Unifier
VariableCollector