A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
The SeaLion has Landed: An IDE for Answer-Set Programming—Preliminary Report
[chapter]
2013
Lecture Notes in Computer Science
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
doi:10.1007/978-3-642-41524-1_19
fatcat:yv65ddhv3rdj7aqoncjdwdl2ze