M. Kulas. Debugging Prolog using annotations. In M. Ducassé, A. Kusalik, and G. Puebla, editors, Proc. of the 10th Workshop on Logic Programming Environments (WLPE'99), Las Cruces, NM, volume 30, issue 4 of Electronic Notes in Theoretical Computer Science, 2000. http://www.elsevier.nl/locate/entcs/volume30.html.


We present an annotation language well suited for rendering aspects of Prolog execution. Our annotations are special Prolog goals that act as executable comments, performing debugging at run-time. No restrictions are placed upon the object language, the concern being verification of (full) Standard Prolog programs. Here we discuss the merits of the annotations for Prolog debugging. All the examples are actual runs of our system Nope.

Available: PS, BibTeX