在prolog中找到失败的谓词 - 自动调试模式？

Question

如何查找长计算返回中的某些谓词是否失败？是否可以使用调试模式之类的东西来做？我在谷歌搜索，但没有结果。

Answer 1

对于SWI-Prolog，有可能hook into debugger。如果您访问该网站，请查看上下文：一个有趣的Hackers Corner部分。