aima.test.logictest.foltest
Classes 
DLKnowledgeBaseTest
DomainTest
FOLLexerTest
FOLParserTest
FOLSubstTest
PredicateCollectorTest
UnifierTest
VariableCollectorTest