org.deri.iris.evaluation.topdown.sldnf

Classes  SLDNFEvaluationStrategy SLDNFEvaluationStrategyFactory SLDNFEvaluator