Debugging Answer-Set Programs with Ouroboros – Extending the SeaLion Plugin

  • Melanie Frühstück
  • Jörg Pührer
  • Gerhard Friedrich
Conference paper

DOI: 10.1007/978-3-642-40564-8_32

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8148)
Cite this paper as:
Frühstück M., Pührer J., Friedrich G. (2013) Debugging Answer-Set Programs with Ouroboros – Extending the SeaLion Plugin. In: Cabalar P., Son T.C. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2013. Lecture Notes in Computer Science, vol 8148. Springer, Berlin, Heidelberg


In answer-set programming (ASP), there is a lack of debugging tools that are capable of handling programs with variables. Hence, we implemented a tool, called Ouroboros, for debugging non-ground answer-set programs. The system builds on a previous approach based on ASP meta-programming that has been recently extended to cover weight constraints and choice rules. The main debugging question addressed is “given a program P and an interpretation I, why is I not an answer set of P”. Our tool gives answers in terms of two categories of explanations: unsatisfied rules and unfounded loops. Ouroboros is a plugin of the SeaLion integrated development environment for ASP that is built on Eclipse. Thereby, Ouroboros complements and profits from SeaLion’s Stepping plugin, that implements a different debugging approach for ASP.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Melanie Frühstück
    • 1
  • Jörg Pührer
    • 2
  • Gerhard Friedrich
    • 3
  1. 1.Corporate TechnologySiemens AG ÖsterreichViennaAustria
  2. 2.Institut für Informationssysteme 184/3Technische Universität WienViennaAustria
  3. 3.Alpen-Adria UniversitätKlagenfurtAustria

Personalised recommendations