我对 Prolog 很陌生，一直在使用 Sicstus 来帮助调试我的代码。在使用 单步执行查询时，有没有办法查看所有绑定trace/0？或者在这些步骤中是否有其他方法可以打印出来？
问问题
158 次
2 回答
3
如果您使用SPIDER IDE ，这将自动完成。您还可以在Emacs 模式下运行 SICStus 时显示绑定，最后，调试器可以使用“v”调试器命令打印绑定。
并非所有变量都可用，因为某些变量可能会因编译器优化而消失。如果这是一个问题，您可以使用 Consult/1 来运行解释的代码。这速度较慢，但有时会在调试器中提供更多细节。
于 2012-08-02T15:27:53.300 回答
1
如果将 Sicstus 与 Emacs 一起使用，那么C-c C-g将打开一个缓冲区，当您使用跟踪单步执行时，该缓冲区将显示 prolog 绑定
于 2015-07-16T13:51:16.557 回答