Talks and Poster Presentations (with Proceedings-Entry):
J. Oetsch, J. Puehrer, H. Tompits:
"The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary Report";
Talk: 25th Workshop on Logic Programming (WLP 2011),
- 2011-09-30; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)",
INFSYS Research Report,
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, and a visual program outline. Further implemented features are 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.
Electronic version of the publication:
Project Head Hans Tompits:
Softwareentwicklung in der Answer-Set Programmierung
Created from the Publication Database of the Vienna University of Technology.