Exploiting Parallelism in Coalgebraic Logic Programming

Ekaterina Komendantskaya, Martin Schmidt, Jonathan Heras

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)
43 Downloads (Pure)


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
Publication statusPublished - 28 Mar 2014


  • Coinduction
  • Corecursion
  • Guardedness
  • Parallelism
  • GoLang


Dive into the research topics of 'Exploiting Parallelism in Coalgebraic Logic Programming'. Together they form a unique fingerprint.

Cite this