aima.test.logictest
Classes 
LogicTests