Research

Coalgebraic logic programming:from semantics to implementation


Reference:

Komendantskaya, E., Power, J. and Schmidt, M., 2016. Coalgebraic logic programming:from semantics to implementation. Journal of Logic and Computation, 26 (2), 745 - 783.

Related documents:

[img]
Preview
PDF (author's accepted version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (403kB) | Preview

    Official URL:

    http://dx.doi.org/10.1093/logcom/exu026

    Related URLs:

    Abstract

    Corecursive definitions, such as that of a stream, may often be described by elegant logic programs, but ones for which SLD-refutation is of no value while infinite SLD-derivations are of considerable value. Such definitions give rise to questions of parallelism, and logic programs can have both recursive and corecursive features at once. Observational and coalgebraic semantics have been used to study them abstractly. The programming developments have often occurred separately and have usually been implementation-led. Here, we give a coherent semantics-led account of the issues, starting with abstract category theoretic semantics, developing coalgebra to characterise naturally arising trees, and proceeding towards implementation of a new dialect, CoALP, of logic programming, characterised by guarded recursion and parallelism.

    Details

    Item Type Articles
    CreatorsKomendantskaya, E., Power, J. and Schmidt, M.
    DOI10.1093/logcom/exu026
    Related URLs
    URLURL Type
    http://dx.doi.org/10.1093/logcom/exu026Free Full-text
    Uncontrolled Keywordslogic programing,coalgebra,parallelism,coinduction,corecursion,observational semantics
    DepartmentsFaculty of Science > Computer Science
    Publisher StatementKomendantskayaPowerSchmidtJLC14.pdf: This is a pre-copyedited, author-produced PDF of an article accepted for publication in Journal of Logic and Computation following peer review. The definitive publisher-authenticated versionKomendantskaya, E, Power, J & Schmidt, M 2014, 'Coalgebraic logic programming: from semantics to implementation' Journal of Logic and Computation, vol 26, no. 2, pp. 745 - 783, is available online at: http://dx.doi.org/10.1093/logcom/exu026.
    RefereedYes
    StatusPublished
    ID Code37944

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...