Exploiting parallelism in coalgebraic logic programming

Ekaterina Komendantskaya, Martin Schmidt, Jonathan Heras

    Research output: Contribution to journalArticle

    2 Citations (Scopus)
    199 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

    Fingerprint

    Logic programming
    Logic Programming
    Parallelism
    Parallel Implementation
    Semantics
    Computer programming languages
    Programming Languages

    Keywords

    • Coinduction
    • Corecursion
    • Guardedness
    • Parallelism
    • GoLang

    Cite this

    Komendantskaya, Ekaterina ; Schmidt, Martin ; Heras, Jonathan. / Exploiting parallelism in coalgebraic logic programming. In: Electronic Notes in Theoretical Computer Science. 2014 ; Vol. 303. pp. 121-148.
    @article{78655a5c16284012b257ac45494a68cc,
    title = "Exploiting parallelism in coalgebraic logic programming",
    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.",
    keywords = "Coinduction, Corecursion, Guardedness, Parallelism, GoLang",
    author = "Ekaterina Komendantskaya and Martin Schmidt and Jonathan Heras",
    year = "2014",
    month = "3",
    day = "28",
    doi = "10.1016/j.entcs.2014.02.007",
    language = "English",
    volume = "303",
    pages = "121--148",
    journal = "Electronic Notes in Theoretical Computer Science",
    issn = "1571-0661",
    publisher = "Elsevier",

    }

    Exploiting parallelism in coalgebraic logic programming. / Komendantskaya, Ekaterina; Schmidt, Martin ; Heras, Jonathan.

    In: Electronic Notes in Theoretical Computer Science, Vol. 303, ENTCS18421, 28.03.2014, p. 121-148.

    Research output: Contribution to journalArticle

    TY - JOUR

    T1 - Exploiting parallelism in coalgebraic logic programming

    AU - Komendantskaya, Ekaterina

    AU - Schmidt, Martin

    AU - Heras, Jonathan

    PY - 2014/3/28

    Y1 - 2014/3/28

    N2 - 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.

    AB - 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.

    KW - Coinduction

    KW - Corecursion

    KW - Guardedness

    KW - Parallelism

    KW - GoLang

    UR - http://www.scopus.com/inward/record.url?scp=84896482596&partnerID=8YFLogxK

    U2 - 10.1016/j.entcs.2014.02.007

    DO - 10.1016/j.entcs.2014.02.007

    M3 - Article

    VL - 303

    SP - 121

    EP - 148

    JO - Electronic Notes in Theoretical Computer Science

    JF - Electronic Notes in Theoretical Computer Science

    SN - 1571-0661

    M1 - ENTCS18421

    ER -