Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Oetsch, J. Puehrer, H. Tompits:
"The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary Report";
Vortrag: 25th Workshop on Logic Programming (WLP 2011),
Wien;
28.09.2011
- 30.09.2011; 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,
1843-11-06
(2011),
S. 141
- 151.
Kurzfassung englisch:
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.
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_201251.pdf
Zugeordnete Projekte:
Projektleitung Hans Tompits:
Softwareentwicklung in der Answer-Set Programmierung
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.