最新的Prolog实现基准？

是否有任何最新的 Prolog 实现基准（带有结果）？

我在汞网站上找到了这个。令人惊讶的是，它显示了swi-prolog和 Aquarius之间的 20 倍差距。我怀疑这些结果已经很老了。这个差距还成立吗？就我个人而言，我还希望看到一些与启用发生检查的比较，因为它对性能有重大影响，并且某些编译器在优化它方面可能比其他编译器更好。

最近比较，我发现这个要求是GNU的序言是2X比SWI更快，YAP为4x比SWI快于一个特定的代码库。

编辑：

实际问题需要发生检查的特定情况

当然：在 Haskell、OCaml、Swift或定理证明器（例如this one）中进行类型推断。我还认为程序员有责任证明他的代码不需要发生检查。测试只能证明你确实需要它，而不是你不需要它。

回答