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