如何在SICSTUS的“SPIDER”IDE中显示变量绑定？

Question

我正在使用“SPIDER”IDE进行SICSTUS Prolog开发，如SICSTUS手册和SPIDER IDE本身的文档所述。在调试时，在“SICSTUS Debugging”透视图下，变量不显示在Variables窗口上，如图中右上角shown here所示（这是Spider页面中的第一件事）

我按照this guide设置了所有内容，就我所知，这是唯一不起作用的东西。在调试时是否还有其他步骤来获取变量绑定？

提前致谢，

编辑：我最近在格式化驱动器后重新安装了同一系统中的所有内容，现在它完美无缺。我不知道是什么，但我认为我第一次做错了。

Answer 1

默认情况下，变量绑定应该有效。但是，根据编译器优化和其他因素，可能会省略某些变量。尝试使用SPIDER图像中显示的示例程序。