Resumen de An alternative logic programming execution model for graphical debugging
The facilities provided by existing debugging tools are insufficient to give a global program execution image and do not enable a detailed program behavior analysis giving access to relevant information in a quick and easy way. In this work a Prolog execution model for debuggers that overcome these problems is presented. The developed model is based on an extended execution tree that represents successful or failed derivations. Each node of the tree has derivation information associated suitable to solve it.
The user can easily find a program mistake making use of the information provided in each node and the facilities of going directly to erroneous nodes skipping the derivation of correct or uninteresting parts.
