展示Swi-prolog回溯？

Question

我想它可能不是用来做这件事的，但我可能会问。

我想运行一个简单的cli应用程序，并让它在出现错误时显示回溯。

swipl -f test.pl -g test(X)

这将在程序中运行目标测试。

ERROR: -g test(X): Arguments are not sufficiently instantiated

然而，它并没有显示完整的回溯。我需要做的是每一次，打开GUI，键入吉他手，跟踪，运行它等。这表明程序可以保持一个回溯。

我想它可能不是用来做这件事的，但我可能会问。

Answer 1

真不敢相信我在调试器页面里迷路了。正如评论中所说，

:- use_module(library(prolog_stack)).

就够了。