The SeaLion has Landed: An IDE for Answer-Set Programming—Preliminary Report

Oetsch, Johannes; Pührer, Jörg; Tompits, Hans

doi:10.1007/978-3-642-41524-1_19

Cited by 11 publications

(17 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Kara is written in Java and integrated in the Eclipse-plugin SeaLion [8] for developing answer-set programs. Currently, it can be used with answer-set programs in the languages of Gringo and DLV.…”

Section: Integration In Sealionmentioning

confidence: 99%

“…That way, programs can be written in a clear and elegant way since not all properties of an element have to be specified within a single atom. Here, Kara exploits that the latest ASP solvers support function symbols 8 IDPDraw has been used for visualisation of the benchmark problems of the second and third ASP competition. that allow for generating new identifiers from terms of the interpretation to visualise.…”

Section: Related Workmentioning

confidence: 99%

“…Kara is designed as a plugin of SeaLion, an Eclipse-based integrated development environment (IDE) for ASP [8] that is currently developed as part of a project on programming-support methods for ASP [9].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs

Kloimüllner

Oetsch

Pührer

et al. 2013

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory. These answer sets are computed from the program that represents the theory by means of an ASP solver and returned to the user as sets of ground first-order literals. As this type of representation is often cumbersome for the user to interpret, tools like ASPVIZ and IDPDraw were developed that allow for visualising answer sets. The tool Kara, introduced in this paper, follows these approaches, using ASP itself as a language for defining visualisations of interpretations. Unlike existing tools that position graphic primitives according to static coordinates only, Kara allows for more high-level specifications, supporting graph structures, grids, and relative positioning of graphical elements. Moreover, generalising the functionality of previous tools, Kara provides modifiable visualisations such that interpretations can be manipulated by graphically editing their visualisations. This is realised by resorting to abductive reasoning techniques. Kara is part of SeaLion, a forthcoming integrated development environment (IDE) for ASP.

show abstract

Section: Integration In Sealionmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs

Kloimüllner

Oetsch

Pührer

et al. 2013

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…The stepping technique has been implemented in SeaLion (Oetsch et al 2013), an integrated development environment (IDE) for ASP. We discuss how SeaLion can be used for stepping answer-set programs written in the Gringo or the DLV language.…”

Section: Introductionmentioning

confidence: 99%

Stepwise debugging of answer-set programs

Oetsch¹,

Pührer²,

Tompits³

2017

Theory and Practice of Logic Programming

Self Cite

View full text Add to dashboard Cite

We introduce astepping methodologyfor answer-set programming (ASP) that allows for debugging answer-set programs and is based on the stepwise application of rules. Similar to debugging in imperative languages, where the behaviour of a program is observed during a step-by-step execution, stepping for ASP allows for observing the effects that rule applications have in the computation of an answer set. While the approach is inspired from debugging in imperative programming, it is conceptually different to stepping in other paradigms due to non-determinism and declarativity that are inherent to ASP. In particular, unlike statements in an imperative program that are executed following a strict control flow, there is no predetermined order in which to consider rules in ASP during a computation. In our approach, the user is free to decide which rule to consider active in the next step following his or her intuition. This way, one can focus on interesting parts of the debugging search space. Bugs are detected during stepping by revealing differences between the actual semantics of the program and the expectations of the user. As a solid formal basis for stepping, we develop a framework of computations for answer-set programs. For fully supporting different solver languages, we build our framework on an abstract ASP language that is sufficiently general to capture different solver languages. To this end, we make use of abstract constraints as an established abstraction for popular language constructs such as aggregates. Stepping has been implemented inSeaLion, an integrated development environment for ASP. We illustrate stepping using an example scenario and discuss the stepping plugin ofSeaLion. Moreover, we elaborate on methodological aspects and the embedding of stepping in the ASP development process.

show abstract

“…Thus, an unfounded loop is reminiscent of the Ouroboros, a dragon biting its own tail, which our tool is named after. Ouroboros 4 is a plugin of SeaLion [10,11], an integrated development environment (IDE) for ASP that is based on the Eclipse platform and supports developing answer-set programs using the Potassco and DLV solvers [12,13]. Thereby, Ouroboros complements the stepping-based debugging mechanism [14] integrated in SeaLion [11].…”

Section: Introductionmentioning

confidence: 99%

Debugging Answer-Set Programs with Ouroboros – Extending the SeaLion Plugin

Frühstück

Pührer

Friedrich

2013

Logic Programming and Nonmonotonic Reasoning

Self Cite

View full text Add to dashboard Cite

In answer-set programming (ASP), there is a lack of debugging tools that are capable of handling programs with variables. Hence, we implemented a tool, called Ouroboros, for debugging non-ground answer-set programs. The system builds on a previous approach based on ASP meta-programming that has been recently extended to cover weight constraints and choice rules. The main debugging question addressed is "given a program P and an interpretation I, why is I not an answer set of P ". Our tool gives answers in terms of two categories of explanations: unsatisfied rules and unfounded loops. Ouroboros is a plugin of the SeaLion integrated development environment for ASP that is built on Eclipse. Thereby, Ouroboros complements and profits from SeaLion's Stepping plugin, that implements a different debugging approach for ASP.

show abstract

The SeaLion has Landed: An IDE for Answer-Set Programming—Preliminary Report

Cited by 11 publications

References 22 publications

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs

Stepwise debugging of answer-set programs

Debugging Answer-Set Programs with Ouroboros – Extending the SeaLion Plugin

Contact Info

Product

Resources

About