Research

Annotating answer-set programs in Lana


Reference:

De Vos, M., Kisa, D. G., Oetsch, J., Puehrer, J. and Tompits, H., 2012. Annotating answer-set programs in Lana. Theory and Practice of Logic Programming, 12 (4-5), pp. 616-637.

Related documents:

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (605kB) | Preview

    Official URL:

    http://dx.doi.org/10.1017/S147106841200021X

    Abstract

    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.

    Details

    Item Type Articles
    CreatorsDe Vos, M., Kisa, D. G., Oetsch, J., Puehrer, J. and Tompits, H.
    DOI10.1017/S147106841200021X
    DepartmentsFaculty of Science > Computer Science
    Publisher StatementTPLP.pdf: This article appears in a revised form, subsequent to peer review and/or editorial input by Cambridge University Press, in Theory and Practice of Logic Programming, 2012, vol 12(4-5), pp.619-637 published by Cambridge University Press.
    RefereedYes
    StatusPublished
    ID Code32269

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...