The SeaLion has landed: An IDE for answer-set programming—preliminary report
2013 (English)In: Applications of Declarative Programming and Knowledge Management: 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / [ed] H. Tompits, S. Abreu, J. Oetsch, J. Pührer, D. Seipel, M. Umeda & A. Wolf, Springer, 2013, p. 305-324Conference paper, Published paper (Refereed)
Abstract [en]
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.
Place, publisher, year, edition, pages
Springer, 2013. p. 305-324
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 7773
Keywords [en]
Computer circuits, Computer programming, Integrodifferential equations, Knowledge management, Knowledge representation, Program debugging, Reconfigurable hardware, Semantics, Syntactics, Visual languages, Web services, Answer set programming, Answer set semantics, Integrated development environment, Program development, Refactorings, Research results, Source codes, User friendly, Logic programming
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-63568DOI: 10.1007/978-3-642-41524-1_19Scopus ID: 2-s2.0-84987925341ISBN: 9783642415234 (print)OAI: oai:DiVA.org:hj-63568DiVA, id: diva2:1838439
Conference
19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011
2024-02-162024-02-162024-02-16Bibliographically approved