fr.lirmm.graphik:graal-backward-chaining (maven): The graal-backward-chaining provides implementation for query rewriting algorithms.
Keywords: ai|datalog|knowledge-base|logical-knowledge-inference|logical-knowledge-representation|rule-engine