net.sf.tweety.logics.fol.reasoner
Classes
EFOLReasoner
FolReasoner
NaiveFolReasoner
Prover9FolReasoner
SpassFolReasoner