When used in connection with the Jekejeke Prolog development
environment, the Jekejeke Minlog module will as well provide some
- Backward Debugging: Backward chaining shows a top-down
pattern. We recapitulate the tracing of ordinary Prolog
interpreter execution. More...
- Forward Debugging: Forward chaining shows a bottom up
pattern. We highlight in which way our forward chaining engine
execution is traced. More...