Exploiting parallelism in coalgebraic logic programming
- Komendantskaya, E. 2
- Schmidt, M. 1
- Heras, J. 2
-
1
University of Osnabrück
info
-
2
University of Dundee
info
ISSN: 1571-0661
Año de publicación: 2014
Volumen: 303
Páginas: 121-148
Tipo: Artículo
Otras publicaciones en: Electronic Notes in Theoretical Computer Science
Resumen
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. © 2014 Elsevier B.V.