有什么方法可以对几个 Prolog 程序进行基准测试吗？我正在使用 SWI-Prolog，它没有显示执行查询所花费的时间!!
最佳答案
time/1 呢？在 SWI-Prolog 中，尝试:
?- time(your_goal).
和
?- profile(your_goal).
关于performance - 如何测试 Prolog 程序的性能？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/4582822/