Skip to main content
SpringerLink
Log in

The SeaLion has Landed: An IDE for Answer-Set Programming—Preliminary Report

  • Conference paper
  • First Online:
Applications of Declarative Programming and Knowledge Management (INAP 2011, WLP 2011)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7773))

Abstract

We report about the current state and designated features of the tool SeaLion, aimed to serve as an integrated development environment (IDE) for answer-set programming (ASP). A main goal of SeaLion is to provide a user-friendly environment for supporting a developer to write, evaluate, debug, and test answer-set programs. To this end, new support techniques have to be developed that suit the requirements of the answer-set semantics and meet the constraints of practical applicability. In this respect, SeaLion benefits from the research results of a project on methods and methodologies for answer-set program development in whose context SeaLion is realised. Currently, the tool provides source-code editors for the languages of Gringo and DLV that offer syntax highlighting, syntax checking, refactoring functionality, and a visual program outline. Further implemented features are a documentation generator, support for external solvers, and visualisation as well as visual editing of answer sets. SeaLion comes as a plugin of the popular Eclipse platform and provides itself interfaces for future extensions of the IDE.

This work was partially supported by the Austrian Science Fund (FWF) under project P21698.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    The name derives, with all due respect, from “Kara Zor-El”, the native Kryptonian name of Supergirl, given that Kryptonians have visual superpowers on Earth.

References

  1. Gelfond, M., Leone, N.: Logic programming and knowledge representation - The A-Prolog perspective. Artif. Intell. 138(1–2), 3–38 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  2. Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)

    Book  MATH  Google Scholar 

  3. Gebser, M., Kaufmann, B., Schaub, T.: The conflict-driven answer set solver clasp: Progress report. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 509–514. Springer, Heidelberg (2009)

    Google Scholar 

  4. SAT 2011 competition. http://www.satcompetition.org

  5. Brain, M., De Vos, M.: Debugging logic programs under the answer-set semantics. In: Proceedings of ASP 2005. http://CEUR-WS.org (2005)

  6. Pontelli, E., Son, T.C., El-Khatib, O.: Justifications for logic programs under answer set semantics. Theor. Pract. Logic Program. 9(1), 1–56 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  7. Syrjänen, T.: Debugging inconsistent answer-set programs. In: Proceedings of NMR 2006, pp. 77–83. Technische Universität Clausthal (2006)

    Google Scholar 

  8. 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 (LNAI), vol. 4483, pp. 31–43. Springer, Heidelberg (2007)

    Google Scholar 

  9. Wittocx, J., Vlaeminck, H., Denecker, M.: Debugging for model expansion. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 296–311. Springer, Heidelberg (2009)

    Google Scholar 

  10. Oetsch, J., Pührer, J., Tompits, H.: Catching the Ouroboros: on debugging non-ground answer-set programs. Theor. Pract. Logic Program. 10(4–5), 513–529 (2010)

    Google Scholar 

  11. Niemelä, I., Janhunen, T., Oetsch, J., Pührer, J., Tompits, H.: On testing answer-set programs. In: Proceedings of ECAI 2010, pp. 951–956. IOS Press (2010)

    Google Scholar 

  12. Janhunen, T., Niemelä, I., Oetsch, J., Pührer, J., Tompits, H.: Random vs. structure-based testing of answer-set programs: An experimental comparison. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 242–247. Springer, Heidelberg (2011)

    Google Scholar 

  13. Janhunen, T., Oikarinen, E., Tompits, H., Woltran, S.: Modularity aspects of disjunctive stable models. J. Artif. Intell. Res. 35, 813–857 (2009)

    MathSciNet  MATH  Google Scholar 

  14. Sureshkumar, A., De Vos, M., Brain, M., Fitch, J.: APE: An AnsProlog* environment. In: Proceedings of SEA 2007, pp. 71–85 (2007)

    Google Scholar 

  15. Febbraro, O., Reale, K., Ricca, F.: ASPIDE: Integrated development environment for answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 317–330. Springer, Heidelberg (2011)

    Google Scholar 

  16. iGROM. http://igrom.sourceforge.net/

  17. Oetsch, J., Pührer, J., Tompits, H.: Methods and methodologies for developing answer-set Programs—Project description. In: Technical Communications of ICLP 2010, pp. 154–161. Leibniz-Zentrum für Informatik (2010)

    Google Scholar 

  18. Gebser, M., Schaub, T., Thiele, S.: Gringo: A new grounder for answer set programming. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 266–271. Springer, Heidelberg (2007)

    Google Scholar 

  19. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Logic 7(3), 499–562 (2006)

    Article  MathSciNet  Google Scholar 

  20. Syrjänen, T.: Lparse 1.0 user’s manual. http://www.tcs.hut.fi/Software/smodels/lparse.ps.gz

  21. Cliffe, O., De Vos, M., Brain, M., Padget, J.: ASPVIZ: Declarative visualisation and animation using answer set programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 724–728. Springer, Heidelberg (2008)

    Google Scholar 

  22. Wittocx, J.: KRR Software: IDPDraw. https://dtai.cs.kuleuven.be/krr/software/visualisation

  23. Kloimüllner, C., Oetsch, J., Pührer, J., Tompits, H.: Kara: A system for visualising and visual editing of interpretations for answer-set programs. In: Tompits, H., Abreu, S., Oetsch, J., Pührer, J., Seipel, D., Umeda, M., Wolf, A. (eds.) INAP/WLP 2011. LNCS, vol. 7773, pp. 325–344. Springer, Heidelberg (2013)

    Google Scholar 

  24. De Vos, M., Kısa, D.G., Oetsch, J., Pührer, J., Tompits, H.: Annotating answer-set programs in LANA. Theor. Pract. Logic Program. 12(4–5), 619–637 (2012)

    Article  MATH  Google Scholar 

  25. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A user’s guide to gringo, clasp, clingo, and iclingo. http://sourceforge.net/projects/potassco/files/potassco_guide

  26. Bihlmeyer, R., Faber, W., Ielpa, G., Lio, V., Pfeifer, G.: DLV user manual. http://www.dlvsystem.com/dlvsystem/html/DLV_User_Manual.html

  27. Parr, T.: The Definitive ANTLR Reference: Building Domain-Specific Languages. Pragmatic Programmers. Pragmatic Bookshelf, Frisco (2007)

    Google Scholar 

  28. Ierusalimschy, R.: Programming in Lua, 2nd edn. Lua.Org (2006)

    Google Scholar 

  29. Oetsch, J., Pührer, J., Tompits, H.: Stepping through an answer-set program. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 134–147. Springer, Heidelberg (2011)

    Google Scholar 

  30. Oetsch, J., Prischink, M., Pührer, J., Schwengerer, M., Tompits, H.: On the small-scope hypothesis for testing answer-set programs. In: Proceedings of KR 2012, pp. 43–53. AAAI Press (2012)

    Google Scholar 

  31. Boley, H., Kifer, M. (eds.): RIF framework for logic dialects. W3C (2010) W3C Recommendation 22 June 2010

    Google Scholar 

  32. Kifer, M., Heymans, S.: RIF core answer set programming dialect. http://ruleml.org/rif/RIF-CASPD.html (2009)

  33. Febbraro, O., Reale, K., Ricca, F.: A visual interface for drawing ASP programs. In: Proceedings of CILC 2010 (2010)

    Google Scholar 

  34. Calimeri, F., Leone, N., Ricca, F., Veltri, P.: A visual tracer for DLV. In: Proceedings of SEA 2009 (2009)

    Google Scholar 

  35. Gebser, M., Pührer, J., Schaub, T., Tompits, H., Woltran, S.: spock: A debugging support tool for logic programs under the answer-set semantics. In: Seipel, D., Hanus, M., Wolf, A. (eds.) INAP 2007. LNCS, vol. 5437, pp. 247–252. Springer, Heidelberg (2009)

    Google Scholar 

  36. Febbraro, O., Leone, N., Reale, K., Ricca, F.: Unit testing in ASPIDE. In: Tompits, H., Abreu, S., Oetsch, J., Pührer, J., Seipel, D., Umeda, M., Wolf, A. (eds.) INAP/WLP 2011. LNCS, vol. 7773, pp. 345–364. Springer, Heidelberg (2013)

    Google Scholar 

  37. ontoprise GmbH: OntoStudio 3.0. http://help.ontoprise.de/ (2010)

  38. Ricca, F., Gallucci, L., Schindlauer, R., Dell’Armi, T., Grasso, G., Leone, N.: OntoDLV: An ASP-based system for enterprise ontologies. J. Logic Comput. 19(4), 643–670 (2008)

    Google Scholar 

  39. Smith, A.: Lonsdaleite. https://github.com/rndmcnlly/Lonsdaleite (2011)

  40. AT&T Labs Research and Contributors: Graphviz. http://www.graphviz.org/

Download references

Author information

Authors and Affiliations

  1. Institut für Informationssysteme 184/3, Technische Universität Wien, Favoritenstraße 9-11, 1040 , Vienna, Austria

    Johannes Oetsch, Jörg Pührer & Hans Tompits

Authors
  1. Johannes Oetsch
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jörg Pührer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hans Tompits
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jörg Pührer .

Editor information

Editors and Affiliations

  1. Universität Wien Institut für Informationssysteme, Wien, Austria

    Hans Tompits

  2. Universidade de Évora, Evora, Portugal

    Salvador Abreu

  3. Vienna University of Technology, Vienna, Austria

    Johannes Oetsch

  4. Vienna University of Technology, Vienna, Austria

    Jörg Pührer

  5. Universität Würzburg Inst. Informatik, Würzburg, Germany

    Dietmar Seipel

  6. Kyushu Institute of Technology, Iizuka, Japan

    Masanobu Umeda

  7. Fraunhofer FIRST, Berlin, Germany

    Armin Wolf

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Oetsch, J., Pührer, J., Tompits, H. (2013). The SeaLion has Landed: An IDE for Answer-Set Programming—Preliminary Report. In: Tompits, H., et al. Applications of Declarative Programming and Knowledge Management. INAP WLP 2011 2011. Lecture Notes in Computer Science(), vol 7773. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41524-1_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-41524-1_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-41523-4

  • Online ISBN: 978-3-642-41524-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation