Contributions to Proceedings:
M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran:
"spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics";
in: "Applications of Declarative Programming and Knowledge Management",
D. Seipel, M. Hanus, A. Wolf (ed.);
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance, ASP suffers from a lack of support for program developers. In particular, tools are needed that help engineers in detecting erroneous parts of their programs. Unlike in other areas of logic programming, applying tracing techniques for debugging logic programs under the answer-set semantics seems rather unnatural, since employing imperative solving algorithms would undermine the declarative flavour of ASP. In this paper, we present the system spock, a debugging support tool for answer-set programs making use of ASP itself. The implemented techniques maintain the declarative nature of ASP within the debugging process and are independent of the actual computation of answer sets.
Answer-set programming, debugging
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.