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卷 / 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 条
  • [31] NAMED MODELS IN COALGEBRAIC HYBRID LOGIC
    Schroeder, Lutz
    Pattinson, Dirk
    [J]. 27TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2010), 2010, 5 : 645 - 656
  • [32] Fibred Coalgebraic Logic and Quantum Protocols
    Marsden, Daniel
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (171): : 90 - 99
  • [33] Coalgebraic logic and synthesis of mealy machines
    Bonsangue, M. M.
    Rutten, Jan
    Silva, Alexandra
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2008, 4962 : 231 - +
  • [34] A coalgebraic view on positive modal logic
    Palmigiano, A
    [J]. THEORETICAL COMPUTER SCIENCE, 2004, 327 (1-2) : 175 - 195
  • [35] PROGRAMMING FOR PARALLELISM
    KARP, AH
    [J]. COMPUTER, 1987, 20 (05) : 43 - 57
  • [36] Coalgebraic modal logic of finite rank
    Kurz, A
    Pattinson, D
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2005, 15 (03) : 453 - 473
  • [37] Coalgebraic Modal Logic Beyond Sets
    Klin, Bartek
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 173 (SPEC. ISS.) : 177 - 201
  • [38] Proof systems for Moss' coalgebraic logic
    Bilkova, Marta
    Palmigiano, Alessandra
    Venema, Yde
    [J]. THEORETICAL COMPUTER SCIENCE, 2014, 549 : 36 - 60
  • [39] Coalgebraic logic for stochastic right coalgebras
    Doberkat, Ernst-Erich
    Schubert, Christoph
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2009, 159 (03) : 268 - 284
  • [40] An institutional approach to positive coalgebraic logic
    Balan, Adriana
    Kurz, Alexander
    Velebil, Jiri
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (06) : 1799 - 1824
12345