eclipse - 如何在 SICSTUS "SPIDER"IDE 中显示变量绑定(bind)？

Question

我正在使用“SPIDER”IDE 进行 SICSTUS Prolog 开发，按照 SICSTUS 手册和 SPIDER IDE 本身文档的说明进行操作。调试时，在“SICSTUS 调试”视角下，变量不会显示在“变量”窗口中，如图像右上角 shown here 所示。 (这是蜘蛛页面中的第一件事)

我按照this guide设置了一切据我所知，这是唯一不起作用的事情。调试时是否有任何其他步骤来获取变量绑定(bind)？

提前致谢，

编辑:我最近在格式化驱动器后在同一系统中重新安装了所有内容，现在它可以完美运行。我不知道是什么，但我想我第一次做错了什么。

Answer 1

变量绑定(bind)应该默认工作。但是，根据编译器优化和其他因素，某些变量可能会被省略。使用 SPIDER 图像中显示的示例程序进行尝试。