G3Kappa / Ergo

Other
4 stars 0 forks source link

Improve trace mode #17

Closed G3Kappa closed 2 years ago

G3Kappa commented 2 years ago

Trace mode is supposed to be of help during debugging, but as it is right now it merely complicates things further by printing walls of incomprehensible text.

It should also be interactive, like SWIPL's trace mode.