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