giovinazzo-kevin / Ergo

Other
4 stars 0 forks source link

Improve trace mode #17

Closed giovinazzo-kevin closed 2 years ago

giovinazzo-kevin 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.