Debugging Prolog Using Annotations |
| |
Authors: | M Kula |
| |
Affiliation: | aFernUniversität Hagen, FB Informatik, D-58084 Hagen, Germany |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|