Exploiting parallelism in coalgebraic logic programming

Ekaterina Komendantskaya, Martin Schmidt, Jonathan Heras

    Research output: Contribution to journal › Article

    3 Citations (Scopus)
    278 Downloads (Pure)

    Abstract

    We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go. CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both corecursion and parallelism. Here, we discuss how the coalgebraic semantics influenced our parallel implementation of logic programming.
    Original languageEnglish
    Article numberENTCS18421
    Pages (from-to)121-148
    Number of pages28
    JournalElectronic Notes in Theoretical Computer Science
    Volume303
    DOIs
    Publication statusPublished - 28 Mar 2014

    Keywords

    • Coinduction
    • Corecursion
    • Guardedness
    • Parallelism
    • GoLang

    Access to Document

    • Author accepted manuscript

      NOTICE: this is the author’s version of a work that was accepted for publication in Electronic Notes in Theoretical Computer Science Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Electronic Notes in Theoretical Computer Science, [VOL 303, 28 March 2014, http://dx.doi.org/10.1016/j.entcs.2014.02.007]

      Accepted author manuscript, 361 KB

      Fingerprint Dive into the research topics of 'Exploiting parallelism in coalgebraic logic programming'. Together they form a unique fingerprint.

      • 3 Citations
      • 1 Chapter
      • 1 Conference contribution
      12 Citations (Scopus)

    • Coalgebraic semantics for derivations in logic programming

      Komendantskaya, E. & Power, J., 2011, Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Corradini, A., Klin, B. & Cirstea, C. (eds.). Berlin: Springer , p. 268-282 15 p. (Lecture notes in computer science; vol. 6859).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

      • 15 Citations (Scopus)

      Cite this