Debugging Sicstus Prolog：在调试期间显示当前绑定

我对Prolog非常陌生，一直在使用Sicstus来帮助调试我的代码。使用

trace/0

单步执行查询时，是否有方法查看所有绑定？或者在这些步骤中是否有其他打印方法？

如果您使用。您还可以在从内部运行SICStus时显示绑定，最后，调试器可以使用打印绑定

---

并非所有变量都可用，因为某些变量可能会因编译器优化而消失。如果这是一个问题，您可以使用consult/1运行解释的代码。这会比较慢，但有时会在调试器中提供更多详细信息。

如果使用。您还可以在从内部运行SICStus时显示绑定，最后，调试器可以使用打印绑定

---

并非所有变量都可用，因为某些变量可能会因编译器优化而消失。如果这是一个问题，您可以使用consult/1运行解释的代码。这会比较慢，但有时会在调试器中提供更多细节。

如果将Sicstus与Emacs一起使用，则

C-C-g

将打开一个缓冲区，当您逐步使用跟踪时，该缓冲区将显示prolog绑定。

如果将Sicstus与Emacs一起使用，则

C-C-g

将打开一个缓冲区，该缓冲区将在您执行步骤时显示prolog绑定通过跟踪

consult/1正是我想要的。谢谢consult/1正是我想要的。谢谢