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

by PAULA-ANDRA BUSONIU, JOHANNES OETSCH, JÖRG PÜHRER, PETER SKOČOVSKÝ, HANS TOMPITS

Published in Theory and Practice of Logic Programming by Cambridge University Press (CUP).

2013   Volume 13, Issue 4-5, p657-673

Abstract

<jats:title>Abstract</jats:title>In this paper, we present SeaLion, an integrated development environment (IDE) for answer-set programming (ASP).<jats:monospace>SeaLion</jats:monospace>provides source-code editors for the languages of<jats:monospace>Gringo</jats:monospace>and<jats:monospace>DLV</jats:monospace>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,<jats:monospace>SeaLion</jats:monospace>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,<jats:monospace>SeaLion</jats:monospace>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,<jats:monospace>SeaLion</jats:monospace>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<jats:monospace>SeaLion</jats:monospace>. Further implemented features are a documentation generator based on the Lana annotation language, support for external solvers, and interoperability with external tools.<jats:monospace>SeaLion</jats:monospace>comes as a plugin of the popular Eclipse platform and provides interfaces for future extensions of the IDE.
In application/xml+jats format

Archived Files and Locations

application/pdf  517.3 kB
file_4zkdixwicvdkzii7ncwwxwcxie
publik.tuwien.ac.at (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2013
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1471-0684
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 80010554-3251-4b43-ab76-1a27235382e6
API URL: JSON