SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging supportShow others and affiliations
2013 (English)In: Theory and Practice of Logic Programming, ISSN 1471-0684, E-ISSN 1475-3081, Vol. 13, no 4-5, p. 657-673Article in journal (Refereed) Published
Abstract [en]
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.
Place, publisher, year, edition, pages
Cambridge University Press, 2013. Vol. 13, no 4-5, p. 657-673
Keywords [en]
Annotation languages, Answer-set programming, Code completions, Debugging support, Integrated development environment, Model-driven Engineering, Programming errors, UML class diagrams, Integrodifferential equations, Program debugging, Semantics, Syntactics, Tools, Visualization, Web services, Visual languages
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-63567DOI: 10.1017/S1471068413000410ISI: 000324926400014Scopus ID: 2-s2.0-84884787755OAI: oai:DiVA.org:hj-63567DiVA, id: diva2:1838431
2024-02-162024-02-162024-02-16Bibliographically approved