Skip to main content Accessibility help
×
Home

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

  • PAULA-ANDRA BUSONIU (a1), JOHANNES OETSCH (a1), JÖRG PÜHRER (a1), PETER SKOČOVSKÝ (a2) and HANS TOMPITS (a1)...

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.

Copyright

References

Hide All
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.
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).
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.
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, 619637.
Eclipse Project. 2013. http://www.eclipse.org/eclipse.
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, 4052.
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.
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.
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, 317330.
Fowler, M. 2004. UML Distilled: A Brief Guide to the Standard Object Modeling Language. Addison-Wesley Professional.
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.
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, 509514.
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, 247252.
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, 266271.
Gelfond, M. and Leone, N. 2002. Logic programming and knowledge representation - The A-Prolog perspective. Artificial Intelligence 138, 1–2, 338.
Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In Proceedings of the 5th Logic Programming Symposium, MIT Press, 10701080.
Järvisalo, M., Berre, D. L., Roussel, O. and Simon, L. 2012. The international SAT solver competitions. AI Magazine 33, 1, 8992.
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.
Koziarkiewicz, M. 2011. iGROM. http://igrom.sourceforge.net/.
Le Berre, D., Roussel, O. and Simon, L. 2009. SAT 2009 competition. http://www.satcompetition.org/2009/.
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, 499562.
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, 382387.
Oetsch, J., Pührer, J., Skočovský, P. and Tompits, H. 2013. Stepping in answer-set programming: Handling disjunctions and aggregates, In preparation.
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, 513529.
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.
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, 134147.
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.
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, 492508.
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.
Schmidt, D. C. 2006. Model-Driven Engineering. IEEE Computer 39, 2 (february), 4147.
Smith, A. 2011. Lonsdaleite. https://github.com/rndmcnlly/Lonsdaleite.
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.
Syrjänen, T. 2000. Lparse 1.0 user's manual. http://www.tcs.hut.fi/Software/smodels/lparse.ps.gz.
Wittocx, J. 2009. IDPDraw, a tool used for visualizing answer sets. https://dtai.cs.kuleuven.be/krr/software/visualisation.
Type Description Title
PDF
Supplementary materials

Busoniu supplementary material
Busoniu supplementary material

 PDF (757 KB)
757 KB

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed