2013/12/16 by Ekaterina Komendantskaya, Komendantskaya, Ekaterina, Martin Schmidt +4
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.PL
paper · pdf · doi:10.48550/arxiv.1312.4454
arxiv created 2013/12/19 · arxiv updated 2013/12/20
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.