Exploiting Parallelism in Coalgebraic Logic Programming

Ekaterina Komendantskaya, Martin Schmidt, Jonathan Heras

Research output: Contribution to journalArticle

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
Pages (from-to)121-148
Number of pages28
JournalElectronic Notes in Theoretical Computer Science
Volume303
DOIs
Publication statusPublished - 28 Mar 2014

Fingerprint

Logic programming
Semantics
Computer programming languages

Keywords

  • Coinduction
  • Corecursion
  • Guardedness
  • Parallelism
  • GoLang

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

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

ER -