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 条

[41] Adjusting Thread Parallelism Dynamically to Accelerate Dynamic Programming with Irregular Workload Distribution on GPGPUs [J].

Wu, Chao-Chin ;

Ke, Jenn-Yang ;

Lin, Heshan ;

Jhan, Syun-Sheng .

INTERNATIONAL JOURNAL OF GRID AND HIGH PERFORMANCE COMPUTING, 2014, 6 (01) :1-20

[42] An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic [J].

Phan, Anh-Dung ;

Hansen, Michael R. .

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2015, 84 (01) :2-18

[43] Teaching Parallelism Without Programming: A Data Science Curriculum for Non-CS Students [J].

Gil, Yolanda .

2014 WORKSHOP ON EDUCATION FOR HIGH PERFORMANCE COMPUTING (EDUHPC), 2014, :42-48

[44] Scalable Web Reasoning Using Logic Programming Techniques [J].

Lukacsy, Gergely ;

Szeredi, Peter .

WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2009, 5837 :102-+

[45] LOGIC PROGRAMMING FOUNDATIONS OF CYBER-PHYSICAL SYSTEMS [J].

Saeedloei, Neda .

TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 :289-293

[46] Asynchronous Global Types in Co-logic Programming [J].

Bianchini, Riccardo ;

Dagnino, Francesco .

COORDINATION MODELS AND LANGUAGES, COORDINATION 2021, 2021, 12717 :134-146

[47] Optimizing Dynamic Programming on Graphics Processing Units via Adaptive Thread-Level Parallelism [J].

Wu, Chao-Chin ;

Ke, Jenn-Yang ;

Lin, Heshan ;

Feng, Wu-chun .

2011 IEEE 17TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS), 2011, :96-103

[48] QuERYAGT: Asynchronous global types in co-logic programming [J].

Bianchini, Riccardo ;

Dagnino, Francesco .

SCIENCE OF COMPUTER PROGRAMMING, 2023, 225

[49] The impact of cache coherence protocols on parallel logic programming systems [J].

Dutra, ID ;

Costa, VS ;

Bianchini, R .

COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 :1285-1299

[50] A DISTRIBUTED FAIR POLLING SCHEME APPLIED TO OR-PARALLEL LOGIC PROGRAMMING [J].

ZHENG, L .

INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1992, 20 (04) :315-339

← 1 2 3 4 5 →