Exploiting Parallelism in Coalgebraic Logic Programming

Ekaterina Komendantskaya; Martin Schmidt; Jonathan Heras

doi:10.1016/j.entcs.2014.02.007

Exploiting Parallelism in Coalgebraic Logic Programming

Ekaterina Komendantskaya
, Martin Schmidt
, Jonathan Heras

Research output: Contribution to journal › Article › peer-review

5 Citations (Scopus)

77 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 language	English
Pages (from-to)	121-148
Number of pages	28
Journal	Electronic Notes in Theoretical Computer Science
Volume	303
DOIs	https://doi.org/10.1016/j.entcs.2014.02.007
Publication status	Published - 28 Mar 2014

Keywords

Coinduction
Corecursion
Guardedness
Parallelism
GoLang

Access to Document

10.1016/j.entcs.2014.02.007

Download pdfFinal published version, 309 KBLicence: Creative Commons: Attribution (CC-BY)

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

Cite this

@article{0e860f84e6dc4f1c8e1d400d97768153,

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 = mar,

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 B.V.",

}

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

U2 - 10.1016/j.entcs.2014.02.007

DO - 10.1016/j.entcs.2014.02.007

M3 - Article

SN - 1571-0661

VL - 303

SP - 121

EP - 148

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

Exploiting Parallelism in Coalgebraic Logic Programming

Abstract

Keywords

Access to Document

Fingerprint

Cite this