Annotating Answer-Set Programs in LANA?

10/08/2012
by   Marina De Vos, et al.
0

While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology, and applications, the present work situates itself in the context of a quite recent research trend: development support for ASP. In particular, we propose to augment answer-set programs with additional meta-information formulated in a dedicated annotation language, called LANA. This language allows the grouping of rules into coherent blocks and to specify language signatures, types, pre- and postconditions, as well as unit tests for such blocks. While these annotations are invisible to an ASP solver, as they take the form of program comments, they can be interpreted by tools for documentation, testing, and verification purposes, as well as to eliminate sources of common programming errors by realising syntax checking or code completion features. To demonstrate its versatility, we introduce two such tools, viz. (i) ASPDOC, for generating an HTML documentation for a program based on the annotated information, and (ii) ASPUNIT, for running and monitoring unit tests on program blocks. LANA is also exploited in the SeaLion system, an integrated development environment for ASP based on Eclipse. To appear in Theory and Practice of Logic Programming

READ FULL TEXT
research
08/01/2018

Debugging Non-Ground ASP Programs: Technique and Graphical Tools

Answer Set Programming (ASP) is one of the major declarative programming...
research
09/22/2020

A System for Explainable Answer Set Programming

We present xclingo, a tool for generating explanations from ASP programs...
research
05/18/2017

Stepwise Debugging of Answer-Set Programs

We introduce a stepping methodology for answer-set programming (ASP) tha...
research
05/27/2015

Qsmodels: ASP Planning in Interactive Gaming Environment

Qsmodels is a novel application of Answer Set Programming to interactive...
research
09/19/2011

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

In answer-set programming (ASP), the solutions of a problem are encoded ...
research
09/19/2011

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

We report about the current state and designated features of the tool Se...
research
02/19/2022

ValAsp: a tool for data validation in Answer Set Programming

The development of complex software requires tools promoting fail-fast a...

Please sign up or login with your details

Forgot password? Click here to reset