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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1016/j.entcs.2014.02.007 | Electronic Notes in Theoretical Computer Science |
Keywords | DocType | Volume |
parallel implementation,logic programming,coalgebraic derivation algorithm,exploiting parallelism,programming language,coalgebraic semantics,coalgebraic logic programming,corecursion,coinduction | Journal | 303, |
ISSN | Citations | PageRank |
1571-0661 | 4 | 0.42 |
References | Authors | |
18 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ekaterina Komendantskaya | 1 | 150 | 22.66 |
Martin Schmidt | 2 | 4 | 0.42 |
Jónathan Heras | 3 | 94 | 23.31 |