最新的Prolog实现基准？
是否有任何最新的 Prolog 实现基准（带有结果）？
我在汞网站上找到了这个。令人惊讶的是，它显示了swi-prolog和 Aquarius之间的 20 倍差距。我怀疑这些结果已经很老了。这个差距还成立吗？就我个人而言，我还希望看到一些与启用发生检查的比较，因为它对性能有重大影响，并且某些编译器在优化它方面可能比其他编译器更好。
最近比较，我发现这个要求是GNU的序言是2X比SWI更快，YAP为4x比SWI快于一个特定的代码库。
编辑：
实际问题需要发生检查的特定情况
当然：在 Haskell、OCaml、Swift或定理证明器（例如this one）中进行类型推断。我还认为程序员有责任证明他的代码不需要发生检查。测试只能证明你确实需要它，而不是你不需要它。
回答
我在以下位置发布了一些基准测试结果：
https://logtalk.org/performance.html
但是，请务必阅读并理解该页面末尾的注释。
关于使用 GNU Prolog 运行基准测试，请注意您不能使用顶级解释器，因为从它加载的代码是被解释的，而不是编译的（请参阅 GNU Prolog 文档gplc）。在一般情况下，是不是经常看到人们从顶层解释运行基准，忘了什么字解释手段，并发布虚假的统计数据，其中编译/学期膨胀/ ...步骤误落得什么的应该是混合基准.