spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics

  • Martin Gebser
  • Jörg Pührer
  • Torsten Schaub
  • Hans Tompits
  • Stefan Woltran
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5437)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)MATHCrossRefGoogle Scholar
  2. 2.
    Brain, M., De Vos, M.: Debugging Logic Programs under the Answer Set Semantics. In: Proc. ASP 2005, EUR Workshop Proceedings (CEUR-WS.org), vol. 142, pp. 141–152 (2005)Google Scholar
  3. 3.
    Syrjänen, T.: Debugging Inconsistent Answer Set Programs. In: Proc. NMR 2006, pp. 77–83 (2006)Google Scholar
  4. 4.
    Pontelli, E., Son, T.C.: Justifications for Logic Programs under Answer Set Semantics. In: Etalle, S., Truszczyński, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 196–210. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Brain, M., Gebser, M., Pührer, J., Schaub, T., Tompits, H., Woltran, S.: Debugging ASP programs by means of ASP. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS, vol. 4483, pp. 31–43. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  6. 6.
    Brain, M., Gebser, M., Pührer, J., Schaub, T., Tompits, H., Woltran, S.: That is Illogical Captain! – The Debugging Support Tool spock for Answer-Set Programs: System Description. In: Proc. SEA 2007, pp. 71–85 (2007)Google Scholar
  7. 7.
    Delgrande, J., Schaub, T., Tompits, H.: A Framework for Compiling Preferences in Logic Programs. Theory and Practice of Logic Programming 3, 129–187 (2003)MathSciNetMATHCrossRefGoogle Scholar
  8. 8.
    Lin, F., Zhao, Y.: ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. Artificial Intelligence 157, 115–137 (2004)MathSciNetMATHCrossRefGoogle Scholar
  9. 9.
    Clark, K.: Negation as Failure. In: Logic and Data Bases, pp. 293–322. Plenum Press (1978)Google Scholar
  10. 10.
    GNU General Public License – Version 2, June 1991. Free Software Foundation Inc. (1991), http://www.gnu.org/copyleft/gpl.html
  11. 11.
    Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic 7, 499–562 (2006)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Simons, P., Niemelä, I., Soininen, T.: Extending and Implementing the Stable Model Semantics. Artificial Intelligence 138, 181–234 (2002)MathSciNetMATHCrossRefGoogle Scholar
  13. 13.
    Pührer, J.: On Debugging of Propositional Answer-Set Programs. Master’s thesis, Vienna University of Technology, Austria (2007)Google Scholar
  14. 14.
    Gebser, M., Pührer, J., Schaub, T., Tompits, H.: A Meta-Programming Technique for Debugging Answer-Set Programs. In: Proc. AAAI 2008 (to appear, 2008)Google Scholar
  15. 15.
    Roychoudhury, A., Ramakrishnan, C., Ramakrishnan, I.: Justifying Proofs using Memo Tables. In: Proc. PPDP 2000, 178–189 (2000)Google Scholar
  16. 16.
    Specht, G.: Generating Explanation Trees even for Negations in Deductive Database Systems. In: Proc. LPE 1993, pp. 8–13 (1993)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Martin Gebser
    • 1
  • Jörg Pührer
    • 2
  • Torsten Schaub
    • 1
  • Hans Tompits
    • 2
  • Stefan Woltran
    • 2
  1. 1.Institut für InformatikUniversität PotsdamPotsdamGermany
  2. 2.Institut für InformationssystemeTechnische Universität WienViennaAustria

Personalised recommendations