Exploiting Parallelism in Coalgebraic Logic Programming

被引：4

作者：

Komendantskaya, Ekaterina ^{[1
]}

Schmidt, Martin ^{[2
]}

Heras, Jonathan ^{[1
]}

机构：

[1] Univ Dundee, Sch Comp, Dundee, Scotland

[2] Univ Osnabruck, Inst Cognit Sci, Osnabruck, Germany

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2014年 / 303卷

基金：

英国工程与自然科学研究理事会;

关键词：

Coinduction; Corecursion; Guardedness; Parallelism; GoLang;

D O I：

10.1016/j.entcs.2014.02.007

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：121 / 148

页数：28

共 50 条

[1] PROGRAMMING TECHNIQUES FOR EFFICIENTLY EXPLOITING PARALLELISM IN LOGIC PROGRAMMING-LANGUAGES
TICK, E
ICHIYOSHI, N
[J]. SIGPLAN NOTICES, 1990, 25 (03): : 31 - 39
[2] A COMPILING APPROACH FOR EXPLOITING AND-PARALLELISM IN PARALLEL LOGIC PROGRAMMING SYSTEMS
HWANG, Z
HU, S
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 366 : 335 - 345
[3] COALGEBRAIC SEMANTICS FOR PROBABILISTIC LOGIC PROGRAMMING
Gu, Tao
Zanasi, Fabio
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (02) : 2:1 - 2:35
[4] LOGIC PROGRAMMING AND PARALLELISM
COHEN, J
[J]. ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 1989, 44 (5-6): : 274 - 282
[5] Coalgebraic logic programming: from Semantics to Implementation
Komendantskaya, Ekaterina
Power, John
Schmidt, Martin
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (02) : 745 - 783
[6] DATA PARALLELISM IN LOGIC PROGRAMMING
SUCCI, G
MARINO, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 569 : 173 - 184
[7] Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Komendantskaya, Ekaterina
McCusker, Guy
Power, John
[J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 2011, 6486 : 111 - +
[8] Exploiting heterogeneous parallelism with the Heterogeneous Programming Library
Vinas, Moises
Bozkus, Zeki
Fraguela, Basilio B.
[J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2013, 73 (12) : 1627 - 1638
[9] Coalgebraic logic
Moss, LS
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1999, 96 (1-3) : 277 - 317
[10] Computational issues in exploiting dependent and-parallelism in logic programming: Leftness detection in dynamic search trees
Wu, Y
Pontelli, E
Ranjan, D
[J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 79 - 94

← 1 2 3 4 5 →