* @param data the graph of triples to process
* @param tabled an array of predicates that should be tabled
*/
public static InfGraph makeInfGraph(List<Rule> rules, Graph data, Node[] tabled) {
FBRuleReasoner reasoner = new FBRuleReasoner(rules);
FBRuleInfGraph infgraph = (FBRuleInfGraph) reasoner.bind(data);
for (int i = 0; i < tabled.length; i++) {
infgraph.setTabled(tabled[i]);
}
// infgraph.setTraceOn(true);
infgraph.setDerivationLogging(true);
return infgraph;
}