/** * Override in subclasses to test other reasoners. */ public Reasoner createReasoner(List<Rule> rules) { LPBackwardRuleReasoner reasoner = new LPBackwardRuleReasoner(rules); reasoner.tablePredicate(sP); reasoner.tablePredicate(sC); reasoner.tablePredicate(ty); reasoner.tablePredicate(p); reasoner.tablePredicate(a); reasoner.tablePredicate(b); return reasoner; }
/** * Override in subclasses to test other reasoners. */ public Reasoner createReasoner(List<Rule> rules) { LPBackwardRuleReasoner reasoner = new LPBackwardRuleReasoner(rules); reasoner.tablePredicate(sP); reasoner.tablePredicate(sC); reasoner.tablePredicate(ty); reasoner.tablePredicate(p); reasoner.tablePredicate(a); reasoner.tablePredicate(b); return reasoner; }