Exploiting Parallelism in Coalgebraic Logic Programming
classification
💻 cs.PL
keywords
coalgebraicprogramminglogiccoalpimplementationparallelparallelismsemantics
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.