Packages 
Package Description
ai.libs.jaicore.logic.fol.algorithms.resolution  
ai.libs.jaicore.logic.fol.structure  
ai.libs.jaicore.logic.fol.theories  
ai.libs.jaicore.logic.fol.theories.set  
ai.libs.jaicore.logic.fol.util