显示 Swi-prolog 回溯？

Question

我认为它可能不是为此而构建的，但我可能会问。

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

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

这会在程序中运行目标test。

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

但是，它没有显示完整的回溯。我需要做的是每次打开 GUI，输入 guitracer,trace，运行它等等。这表明程序可以保留回溯。

我认为它可能不是为此而构建的，但我可能会问。

Answer 1

不敢相信我在调试器页面中迷路了。如cmets中所说，

:- use_module(library(prolog_stack)).

够了。