Learn More
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 veriication of (full) Standard Prolog programs. Here we discuss the merits of the(More)
  • 1