Computer Science – Programming Languages
Scientific paper
2011-09-19
Computer Science
Programming Languages
Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 201
Scientific paper
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.
Oetsch Johannes
Pührer Jörg
Tompits Hans
No associations
LandOfFree
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-96581