The University of Sussex

Event Abstraction Debuggers for Layered Systems in Prolog

Andrew Casson

This paper describes a general architecture for integrated run-time debugging tools for layered programming systems built on Prolog. The method used allows dynamic monitoring and interactive control of all layers, without the need to add code for using and responding to the debugger to any layer but Prolog. This is achieved by using Event Abstraction Rules which describe significant events in one layer in terms of those in lower layers, and Control Refinement Rules which describe how commands for directing control flow in one layer are achieved by giving more basic commands to lower layers.

This paper is not available online