java - Java 中可用的各种 Datalog 实现有哪些？

Question

我正在寻找 Datalog 的 Jave 实现不评估不必要的规则。我看了IRIS reasoner这似乎是最稳定的。

但是，它会评估所有规则，而不仅仅是正在使用的规则。例如:

parent('homer', 'bart').
parent('abe', 'homer').
ancestor(?a, ?b) :- parent(?a, ?b).
ancestor(?a, ?b) :- ancestor(?a, ?c), ancestor(?c, ?b).

// query.. find all parent-child pairs.
?-parent(?x, ?y).

我发现 IRIS 会计算关系 ancestor，即使它从未被使用过。

还有哪些其他实现可用于 Java？其中任何一个执行此优化吗？

Answer 1

OP 链接到的 IRIS 网站上的引述:

支持以下程序优化: - 规则过滤(删除不利于回答问题的规则 询问) - 魔术集和横向信息传递策略 (SIPS)