Coalgebraic logic programming:from semantics to implementation


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:

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

    Official URL:

    Related URLs:


    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.


    Item Type Articles
    CreatorsKomendantskaya, E., Power, J. and Schmidt, M.
    Related URLs
    URLURL Type 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:
    ID Code37944


    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...