Exploiting Parallelism in Coalgebraic Logic Programming

Ekaterina Komendantskaya, Martin Schmidt, Jonathan Heras

Research output: Contribution to journalArticle

3 Citations (Scopus)
15 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
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

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

Cite this