Я новичок в Prolog и использую Sicstus для отладки своего кода. Есть ли способ просмотреть все привязки, пока вы выполняете запрос с помощью trace/0? Или есть какой-то другой способ распечатать во время шагов?
Sicstus Prolog: отображать текущие привязки во время отладки
Ответы (2)
Это делается автоматически, если вы используете SPIDER IDE. Вы также можете показать привязки при запуске SICStus из режим Emacs и, наконец, отладчик может распечатать привязки, используя команда отладчика 'v'.
Не все переменные доступны, так как некоторые переменные могут исчезнуть из-за оптимизации компилятора. Если это проблема, вы можете использовать consult/1 для запуска интерпретируемого кода. Это медленнее, но иногда дает несколько больше деталей в отладчике.
person
Per Mildner
schedule
02.08.2012
Consult/1 был именно тем, что я искал. Спасибо!!
- person Jazz; 03.08.2012
Если вы используете Sicstus с Emacs, то C-c C-g откроет буфер, который будет отображать привязки пролога по мере того, как вы выполняете трассировку.
person
bph
schedule
16.07.2015
