{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T10:05:49Z","timestamp":1756461949826},"reference-count":34,"publisher":"Cambridge University Press (CUP)","issue":"4-5","license":[{"start":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T00:00:00Z","timestamp":1380067200000},"content-version":"unspecified","delay-in-days":86,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2013,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper, we present SeaLion, an integrated development environment (IDE) for answer-set programming (ASP). <jats:monospace>SeaLion<\/jats:monospace> provides source-code editors for the languages of <jats:monospace>Gringo<\/jats:monospace> and <jats:monospace>DLV<\/jats:monospace> and 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 programs. In this respect, <jats:monospace>SeaLion<\/jats:monospace> is the first IDE for ASP that provides debugging features that work for real-world answer-set programs and supports the rich languages of modern answer-set solvers. Indeed, <jats:monospace>SeaLion<\/jats:monospace> implements a stepping-based debugging approach that allows the developer to quickly track down programming errors by simply following his or her intuitions on the intended semantics. Besides that, <jats:monospace>SeaLion<\/jats:monospace> supports ASP development using model-driven engineering techniques including domain modelling with extended UML class diagrams and visualisation of answer sets in corresponding instance diagrams. Moreover, customised visualisation as well as visual editing of answer sets is realised by the Kara plugin of <jats:monospace>SeaLion<\/jats:monospace>. Further implemented features are a documentation generator based on the Lana annotation language, support for external solvers, and interoperability with external tools. <jats:monospace>SeaLion<\/jats:monospace> comes as a plugin of the popular Eclipse platform and provides interfaces for future extensions of the IDE.<\/jats:p>","DOI":"10.1017\/s1471068413000410","type":"journal-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T16:24:58Z","timestamp":1380126298000},"page":"657-673","source":"Crossref","is-referenced-by-count":15,"title":["SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support"],"prefix":"10.1017","volume":"13","author":[{"given":"PAULA-ANDRA","family":"BUSONIU","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JOHANNES","family":"OETSCH","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00d6RG","family":"P\u00dcHRER","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PETER","family":"SKO\u010cOVSK\u00dd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HANS","family":"TOMPITS","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2013,9,25]]},"reference":[{"key":"S1471068413000410_ref23","unstructured":"Oetsch J. , P\u00fchrer J. , Sko\u010dovsk\u00fd P. and Tompits H. 2013. Stepping in answer-set programming: Handling disjunctions and aggregates, In preparation."},{"key":"S1471068413000410_ref24","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000256"},{"key":"S1471068413000410_ref3","unstructured":"Cliffe O. , De Vos M. , Brain M. and Padget J. A. 2008. ASPVIZ: Declarative visualisation and animation using answer set programming. In Proceedings of the 24th International Conference on Logic Programming (ICLP 2008), 724\u2013728."},{"key":"S1471068413000410_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_24"},{"key":"S1471068413000410_ref7","unstructured":"Febbraro O. , Leone N. , Reale K. and Ricca F. 2011. Unit testing in ASPIDE. In Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management and the 25th Workshop on Logic Programming (INAP 2011\/WLP 2011), 165\u2013176."},{"key":"S1471068413000410_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/S147106841200021X"},{"key":"S1471068413000410_ref11","volume-title":"Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)","author":"Fr\u00fchst\u00fcck","year":"2013"},{"key":"S1471068413000410_ref17","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v33i1.2395"},{"key":"S1471068413000410_ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"S1471068413000410_ref20","unstructured":"Le Berre D. , Roussel O. and Simon L. 2009. SAT 2009 competition. http:\/\/www.satcompetition.org\/2009\/."},{"key":"S1471068413000410_ref34","unstructured":"Wittocx J. 2009. IDPDraw, a tool used for visualizing answer sets. https:\/\/dtai.cs.kuleuven.be\/krr\/software\/visualisation."},{"key":"S1471068413000410_ref29","volume-title":"Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)","author":"Polleres","year":"2013"},{"key":"S1471068413000410_ref30","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"S1471068413000410_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20895-9_45"},{"key":"S1471068413000410_ref16","first-page":"1070","volume-title":"Proceedings of the 5th Logic Programming Symposium","author":"Gelfond","year":"1988"},{"key":"S1471068413000410_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20895-9_37"},{"key":"S1471068413000410_ref1","unstructured":"Calimeri F. , Faber W. , Gebser M. , Ianni G. , Kaminski R. , Krennwallner T. , Leone N. , Ricca F. and Schaub T. 2012. ASP-Core-2, input language format. https:\/\/www.mat.unical.it\/aspcomp2013\/files\/ASP-CORE-2.03b.pdf."},{"key":"S1471068413000410_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20895-9_13"},{"key":"S1471068413000410_ref27","unstructured":"Oetsch J. , P\u00fchrer J. and Tompits H. 2011. The SeaLion has landed: An IDE for answer-set programming\u2014Preliminary report. In Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management and the 25th Workshop on Logic Programming (INAP 2011\/WLP 2011), 141\u2013151."},{"key":"S1471068413000410_ref13","first-page":"247","volume-title":"Proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management and the 21st Workshop on Logic Programming (INAP 2007\/WLP 2007), Revised Selected Papers","author":"Gebser","year":"2009"},{"key":"S1471068413000410_ref5","unstructured":"Eclipse Project. 2013. http:\/\/www.eclipse.org\/eclipse."},{"key":"S1471068413000410_ref2","unstructured":"Calimeri F. , Leone N. , Ricca F. and Veltri P. 2009. A visual tracer for DLV. In Proceedings of the 2nd International Workshop on Software Engineering for Answer-Set Programming (SEA 2009)."},{"key":"S1471068413000410_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/11546207_4"},{"key":"S1471068413000410_ref8","unstructured":"Febbraro O. , Reale K. and Ricca F. 2010. A visual interface for drawing ASP programs. In Proceedings of the 25th Italian Conference on Computational Logic (CILC 2010). CEUR Workshop Proceedings, vol. 598."},{"key":"S1471068413000410_ref10","volume-title":"UML Distilled: A Brief Guide to the Standard Object Modeling Language","author":"Fowler","year":"2004"},{"key":"S1471068413000410_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04238-6_50"},{"key":"S1471068413000410_ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00207-2"},{"key":"S1471068413000410_ref18","unstructured":"Kloim\u00fcllner C. , Oetsch J. , P\u00fchrer J. and Tompits H. 2011. kara - A system for visualising and visual editing of interpretations for answer-set programs. In Proceedings of the 25th Workshop on Logic Programming (WLP 2011), 152\u2013164."},{"key":"S1471068413000410_ref19","unstructured":"Koziarkiewicz M. 2011. iGROM. http:\/\/igrom.sourceforge.net\/."},{"key":"S1471068413000410_ref25","volume-title":"Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)","author":"Oetsch","year":"2010"},{"key":"S1471068413000410_ref28","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1007\/978-3-642-30743-0_34","volume-title":"Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz","author":"Oetsch","year":"2012"},{"key":"S1471068413000410_ref31","unstructured":"Smith A. 2011. Lonsdaleite. https:\/\/github.com\/rndmcnlly\/Lonsdaleite."},{"key":"S1471068413000410_ref32","unstructured":"Sureshkumar A. , Vos M. D. , Brain M. and Fitch J. 2007. APE: An AnsProlog* environment. In Proceedings of the 1st International Workshop on Software Engineering for Answer-Set Programming (SEA 2007), 71\u201385."},{"key":"S1471068413000410_ref33","unstructured":"Syrj\u00e4nen T. 2000. Lparse 1.0 user's manual. http:\/\/www.tcs.hut.fi\/Software\/smodels\/lparse.ps.gz."}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068413000410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T09:29:09Z","timestamp":1715592549000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068413000410\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":34,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2013,7]]}},"alternative-id":["S1471068413000410"],"URL":"https:\/\/doi.org\/10.1017\/s1471068413000410","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7]]}}}