Hostname: page-component-8448b6f56d-dnltx Total loading time: 0 Render date: 2024-04-23T16:58:33.727Z Has data issue: false hasContentIssue false
  • English
  • Français

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support

Published online by Cambridge University Press:  25 September 2013

PAULA-ANDRA BUSONIU ,
JOHANNES OETSCH ,
JÖRG PÜHRER ,
PETER SKOČOVSKÝ  and
HANS TOMPITS
PAULA-ANDRA BUSONIU
Affiliation:
Technische Universität Wien, Institut für Informationssysteme 184/3, Favoritenstrasse 9-11, A-1040 Vienna, Austria (e-mail: andra.busoniu@gmail.com, aifargonos@gmail.com, oetsch@kr.tuwien.ac.at, puehrer@kr.tuwien.ac.at, tompits@kr.tuwien.ac.at)
JOHANNES OETSCH
Affiliation:
Technische Universität Wien, Institut für Informationssysteme 184/3, Favoritenstrasse 9-11, A-1040 Vienna, Austria (e-mail: andra.busoniu@gmail.com, aifargonos@gmail.com, oetsch@kr.tuwien.ac.at, puehrer@kr.tuwien.ac.at, tompits@kr.tuwien.ac.at)
JÖRG PÜHRER
Affiliation:
Technische Universität Wien, Institut für Informationssysteme 184/3, Favoritenstrasse 9-11, A-1040 Vienna, Austria (e-mail: andra.busoniu@gmail.com, aifargonos@gmail.com, oetsch@kr.tuwien.ac.at, puehrer@kr.tuwien.ac.at, tompits@kr.tuwien.ac.at)
PETER SKOČOVSKÝ
Affiliation:
Universidade Nova de Lisboa, CENTRIA and Departamento de Informatica, 2829-516 Caparica, Portugal
HANS TOMPITS
Affiliation:
Technische Universität Wien, Institut für Informationssysteme 184/3, Favoritenstrasse 9-11, A-1040 Vienna, Austria (e-mail: andra.busoniu@gmail.com, aifargonos@gmail.com, oetsch@kr.tuwien.ac.at, puehrer@kr.tuwien.ac.at, tompits@kr.tuwien.ac.at)
Get access Rights & Permissions [Opens in a new window]

Abstract

In this paper, we present SeaLion, an integrated development environment (IDE) for answer-set programming (ASP). SeaLion provides source-code editors for the languages of Gringo and DLV and offers popular amenities like syntax highlighting, syntax checking, code completion, visual program outline, and refactoring functionality. The tool has been realised in the context of a research project whose goal is the development of techniques to support the practical coding process of answer-set programs. In this respect, SeaLion is the first IDE for ASP that provides debugging features that work for real-world answer-set programs and supports the rich languages of modern answer-set solvers. Indeed, SeaLion implements a stepping-based debugging approach that allows the developer to quickly track down programming errors by simply following his or her intuitions on the intended semantics. Besides that, SeaLion supports ASP development using model-driven engineering techniques including domain modelling with extended UML class diagrams and visualisation of answer sets in corresponding instance diagrams. Moreover, customised visualisation as well as visual editing of answer sets is realised by the Kara plugin of SeaLion. Further implemented features are a documentation generator based on the Lana annotation language, support for external solvers, and interoperability with external tools. SeaLion comes as a plugin of the popular Eclipse platform and provides interfaces for future extensions of the IDE.

Type
Regular Papers
Information
Theory and Practice of Logic Programming , Volume 13 , Issue 4-5: 29th International Conference on Logic Programming , July 2013 , pp. 657 - 673
Copyright
Copyright © 2013 [PAULA-ANDRA BUSONIU, JOHANNES OETSCH, JÖRG PÜHRER, PETER SKOČOVSKÝ and HANS TOMPITS] 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Ricca, F. and Schaub, T. 2012. ASP-Core-2, input language format. https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03b.pdf.Google Scholar
Calimeri, F., Leone, N., Ricca, F. and Veltri, P. 2009. A visual tracer for DLV. In Proceedings of the 2nd International Workshop on Software Engineering for Answer-Set Programming (SEA 2009).Google Scholar
Cliffe, O., De Vos, M., Brain, M. and Padget, J. A. 2008. ASPVIZ: Declarative visualisation and animation using answer set programming. In Proceedings of the 24th International Conference on Logic Programming (ICLP 2008), 724–728.Google Scholar
De Vos, M., Kisa, D. G., Oetsch, J., Pührer, J. and Tompits, H. 2012. Annotating answer-set programs in Lana. Theory and Practice of Logic Programming 12, 4–5, 619–637.CrossRefGoogle Scholar
Eclipse Project. 2013. http://www.eclipse.org/eclipse.Google Scholar
Faber, W. 2005. Unfounded sets for disjunctive logic programs with arbitrary aggregates. In Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005), Lecture Notes in Computer Science, vol. 3662. Springer, 40–52.Google Scholar
Febbraro, O., Leone, N., Reale, K. and Ricca, F. 2011. Unit testing in ASPIDE. In Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management and the 25th Workshop on Logic Programming (INAP 2011/WLP 2011), 165–176.Google Scholar
Febbraro, O., Reale, K. and Ricca, F. 2010. A visual interface for drawing ASP programs. In Proceedings of the 25th Italian Conference on Computational Logic (CILC 2010). CEUR Workshop Proceedings, vol. 598.Google Scholar
Febbraro, O., Reale, K. and Ricca, F. 2011. ASPIDE: Integrated development environment for answer set programming. In Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Lecture Notes in Computer Science, vol. 6645. Springer, 317–330.Google Scholar
Fowler, M. 2004. UML Distilled: A Brief Guide to the Standard Object Modeling Language. Addison-Wesley Professional.Google Scholar
Frühstück, M., Pührer, J. and Friedrich, G. 2013. Debugging answer-set programs with Ouroboros – extending the SeaLion plugin. In Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Springer. To appear.Google Scholar
Gebser, M., Kaufmann, B. and Schaub, T. 2009. The conflict-driven answer set solver clasp: Progress report. In Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Lecture Notes in Computer Science, vol. 5753. Springer, 509–514.Google Scholar
Gebser, M., Pührer, J., Schaub, T., Tompits, H. and Woltran, S. 2009. Spock: A debugging support tool for logic programs under the answer-set semantics. In Proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management and the 21st Workshop on Logic Programming (INAP 2007/WLP 2007), Revised Selected Papers, Lecture Notes in Computer Science, vol. 5437. Springer, 247–252.Google Scholar
Gebser, M., Schaub, T. and Thiele, S. 2007. Gringo: A new grounder for answer set programming. In Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007), Lecture Notes in Computer Science, vol. 4483. Springer, 266–271.CrossRefGoogle Scholar
Gelfond, M. and Leone, N. 2002. Logic programming and knowledge representation - The A-Prolog perspective. Artificial Intelligence 138, 1–2, 3–38.CrossRefGoogle Scholar
Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In Proceedings of the 5th Logic Programming Symposium, MIT Press, 1070–1080.Google Scholar
Järvisalo, M., Berre, D. L., Roussel, O. and Simon, L. 2012. The international SAT solver competitions. AI Magazine 33, 1, 89–92.Google Scholar
Kloimüllner, C., Oetsch, J., Pührer, J. and Tompits, H. 2011. kara - A system for visualising and visual editing of interpretations for answer-set programs. In Proceedings of the 25th Workshop on Logic Programming (WLP 2011), 152–164.Google Scholar
Koziarkiewicz, M. 2011. iGROM. http://igrom.sourceforge.net/.Google Scholar
Le Berre, D., Roussel, O. and Simon, L. 2009. SAT 2009 competition. http://www.satcompetition.org/2009/.Google Scholar
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S. and Scarcello, F. 2006. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7, 3, 499–562.CrossRefGoogle Scholar
Oetsch, J., Pührer, J., Seidl, M., Tompits, H. and Zwickl, P. 2011. VIDEAS: A development tool for answer-set programs based on model-driven engineering technology. In Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Lecture Notes in Computer Science, vol. 6645. Springer, 382–387.Google Scholar
Oetsch, J., Pührer, J., Skočovský, P. and Tompits, H. 2013. Stepping in answer-set programming: Handling disjunctions and aggregates, In preparation.Google Scholar
Oetsch, J., Pührer, J. and Tompits, H. 2010. Catching the ouroboros: On debugging non-ground answer-set programs. Theory and Practice of Logic Programming 10, 4–6, 513–529.Google Scholar
Oetsch, J., Pührer, J. and Tompits, H. 2010. Methods and methodologies for developing answer-set programs—Project description. In Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), Leibniz International Proceedings in Informatics (LIPIcs), vol. 7. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, Dagstuhl, Germany.Google Scholar
Oetsch, J., Pührer, J. and Tompits, H. 2011. Stepping through an answer-set program. In Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Lecture Notes in Computer Science, vol. 6645. Springer, 134–147.Google Scholar
Oetsch, J., Pührer, J. and Tompits, H. 2011. The SeaLion has landed: An IDE for answer-set programming—Preliminary report. In Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management and the 25th Workshop on Logic Programming (INAP 2011/WLP 2011), 141–151.Google Scholar
Oetsch, J., Pührer, J. and Tompits, H. 2012. Stepwise debugging of description-logic programs. In Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, Lecture Notes in Computer Science, vol. 7265. Springer, 492–508.Google Scholar
Polleres, A., Frühstück, M. and Schenner, G. 2013. Debugging non-ground ASP programs with choice rules, cardinality constraints and weight constraints. In Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Springer. To appear.Google Scholar
Schmidt, D. C. 2006. Model-Driven Engineering. IEEE Computer 39, 2 (february), 41–47.CrossRefGoogle Scholar
Smith, A. 2011. Lonsdaleite. https://github.com/rndmcnlly/Lonsdaleite.Google Scholar
Sureshkumar, A., Vos, M. D., Brain, M. and Fitch, J. 2007. APE: An AnsProlog* environment. In Proceedings of the 1st International Workshop on Software Engineering for Answer-Set Programming (SEA 2007), 71–85.Google Scholar
Syrjänen, T. 2000. Lparse 1.0 user's manual. http://www.tcs.hut.fi/Software/smodels/lparse.ps.gz.Google Scholar
Wittocx, J. 2009. IDPDraw, a tool used for visualizing answer sets. https://dtai.cs.kuleuven.be/krr/software/visualisation.Google Scholar
Supplementary material: PDF

Busoniu supplementary material

Busoniu supplementary material

Download Busoniu supplementary material(PDF)
PDF 757.1 KB