On the sequential nature of unification
Journal of Logic Programming
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Logic programming and parallel complexity
Foundations of deductive databases and logic programming
Optimal implementation of and-or parallel Prolog
Conference proceedings on PARLE'92
Observable behaviors and equivalences of logic programs
Information and Computation
Communicating sequential processes
Communications of the ACM
Theory of observables for logic programs
Information and Computation
On the Duality Between Or-parallelism and And-parallelism in Logic Programming
Euro-Par '95 Proceedings of the First International Euro-Par Conference on Parallel Processing
A Fibrational Semantics for Logic Programs
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Type Inference by Coinductive Logic Programming
Types for Proofs and Programs
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
Theoretical Computer Science
On the algebraic structure of declarative programming languages
Theoretical Computer Science
Coalgebraic semantics for parallel derivation strategies in logic programming
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Coalgebraic semantics for derivations in logic programming
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Hi-index | 0.00 |
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.