Abstract
Since Ehud Shapiro’s “Algorithmic debugging”, in 1983, there has been a continuous, even if not very abundant, flow of work on tracing and debugging for (constraint) logic programming. The tutorial presents trace production techniques, ranging from compiler instrumentations to dedicated meta-interpreters. It reviews work on trace analysis, in particular algorithmic, declarative and rational debugging. It discusses the issue of trace querying and driving. Last but not least, it describes the latest software engineering research on trace mining.
Throughout the presentation, we stress the importance of the nature of the trace data used by the techniques. We show that CLP techniques have inspired a number of work in other communities. We argue that trace mining techniques can easily be applied to CLP.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ducassé, M. (2009). (C)LP Tracing and Debugging. In: Hill, P.M., Warren, D.S. (eds) Logic Programming. ICLP 2009. Lecture Notes in Computer Science, vol 5649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02846-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-02846-5_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02845-8
Online ISBN: 978-3-642-02846-5
eBook Packages: Computer ScienceComputer Science (R0)