A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support
2013
Theory and Practice of Logic Programming
AbstractIn this paper, we present SeaLion, an integrated development environment (IDE) for answer-set programming (ASP).SeaLionprovides source-code editors for the languages ofGringoandDLVand offers popular amenities like syntax highlighting, syntax checking, code completion, visual program outline, and refactoring functionality. The tool has been realised in the context of a research project whose goal is the development of techniques to support the practical coding process of answer-set
doi:10.1017/s1471068413000410
fatcat:yvqsto7vlzfqrjzmrb5lqoke3i