Developing ASP Programs with ASPIDE and Lo IDE

  • Francesco Calimeri
  • Stefano Germano
  • Eliana Palermiti
  • Kristian Reale
  • Francesco Ricca
Systems Description
  • 3 Downloads

Abstract

In order to facilitate the design of applications of Answer Set Programming (ASP), some tools for ASP-program development were proposed in the last years. In this paper we describe ASPIDE, a comprehensive IDE for ASP, and Lo IDE a recently-developed web-based editor for logic programs.

Keywords

Declarative Languages Integrated development environment (IDE) Logics Web-based applications 

References

  1. 1.
    Alviano M, Calimeri F, Dodaro C, Fuscà D, Leone N, Perri S, Ricca F, Veltri P, Zangari J (2017) The ASP system DLV2. In: LPNMR, LNCS, vol 10377. Springer, pp 215–221Google Scholar
  2. 2.
    Busoniu P, Oetsch J, Pührer J, Skocovsky P, Tompits H (2013) Sealion: an eclipse-based IDE for answer-set programming with advanced debugging support. TPLP 13(4–5):657–673Google Scholar
  3. 3.
    Calimeri F, Gebser M, Maratea M, Ricca F (2016) Design and results of the fifth answer set programming competition. Artif Intell 231:151–181MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Dasseville I, Janssens G (2015) A web-based IDE for IDP. CoRR. arXiv:abs/1511.00920
  5. 5.
    Dodaro C, Gasteiger P, Musitsch B, Ricca F, Shchekotykhin KM (2015) Interactive debugging of non-ground ASP programs. In: LPNMR, LNCS, vol 9345. Springer, pp 279–293Google Scholar
  6. 6.
    Erdem E, Gelfond M, Leone N (2016) Applications of answer set programming. AI Mag 37(3):53–68CrossRefGoogle Scholar
  7. 7.
    Febbraro O, Reale K, Ricca F (2011) ASPIDE: integrated development environment for answer set programming. In LPNMR, 2011, proceedings, LNAI, vol 6645. Springer, pp 317–330Google Scholar
  8. 8.
    Fuscà D, Germano S, Zangari J, Anastasio M, Calimeri F, Perri S (2016) A framework for easing the development of applications embedding answer set programming. In PPDP, 2016, proceedings. ACM, pp 38–49Google Scholar
  9. 9.
    Leone N, Ricca F (2015) Answer set programming: a tour from the basics to advanced development tools and industrial applications. In: Reasoning web, LNCS, vol 9203. Springer, pp 308–326Google Scholar
  10. 10.
    Wielemaker J, Lager T, Riguzzi F (2015) SWISH: swi-prolog for sharing. CoRR. arXiv:abs/1511.00915
  11. 11.
    Germano S, Calimeri F, Palermiti E (2018) LoIDE: a web-based IDE for logic programming preliminary report. In: PADL 2018, LNCS, vol 10702. Springer, pp 152–160Google Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  1. 1.University of CalabriaRendeItaly
  2. 2.DLVSystem SrlRendeItaly

Personalised recommendations