The Jekejeke Prolog development environment provides terminal
based interactions. Among the interactions we find goal debugging.
- Debugger Control: The debugger directives will modify
or access the debugger con-trol state. State exists on the level
of knowledge bases and Prolog engines. More...
- Debugger Callback: General introduction to the
debugger customization. More...
- Debugger Ports: General introduction to the debugger
- Default Prompt: The
development environment supports execution debugging based on
Byrd's box model. More...
- Interrupt Handling: The
console allows manually interrupting the interpreter loop either
during read or during execution. More...
- Compatibility Matrix: We
our approach with the former DEC10 standard and the current ISO
core standard. More...