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
基金
英国工程与自然科学研究理事会;
关键词
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 条
[21]   PaIndex: An Online Index System for Vehicle Trajectory Data Exploiting Parallelism [J].
Zhang, Shaoming ;
Liu, Xudong ;
Zhang, Mingming ;
Wo, Tianyu .
2017 4TH INTERNATIONAL CONFERENCE ON SYSTEMS AND INFORMATICS (ICSAI), 2017, :696-703
[22]   Exploiting Parallelism for Bioinformatics Data Analysis Applications by Data Transformation Graph [J].
Huang, ZhenChun ;
Gu, Yang ;
Bai, XiaoXuan .
2015 8TH INTERNATIONAL CONFERENCE ON BIOMEDICAL ENGINEERING AND INFORMATICS (BMEI), 2015, :710-715
[23]   FINGERS: Exploiting Fine-Grained Parallelism in Graph Mining Accelerators [J].
Chen, Qihang ;
Tian, Boyu ;
Gao, Mingyu .
ASPLOS '22: PROCEEDINGS OF THE 27TH ACM INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, 2022, :43-55
[24]   Exploiting Different Levels of Parallelism in the Quantum Control Microarchitecture for Superconducting Qubits [J].
Zhang, Mengyu ;
Xie, Lei ;
Zhang, Zhenxing ;
Yu, Qiaonian ;
Xi, Guanglei ;
Zhang, Hualiang ;
Liu, Fuming ;
Zheng, Yarui ;
Zheng, Yicong ;
Zhang, Shengyu .
PROCEEDINGS OF 54TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, MICRO 2021, 2021, :898-911
[25]   Exploiting Internal Parallelism for Address Translation in Solid-State Drives [J].
Xie, Wei ;
Chen, Yong ;
Roth, Philip C. .
ACM TRANSACTIONS ON STORAGE, 2018, 14 (04)
[26]   Parallel Logic Programming: A Sequel [J].
Dovier, Agostino ;
Formisano, Andrea ;
Gupta, Gopal ;
Hermenegildo, Manuel, V ;
Pontelli, Enrico ;
Rocha, Ricardo .
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (06) :905-973
[27]   Massive parallelism on a chip: VLSI aspects involving dynamic logic [J].
Posch, R .
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1998, 13 (02) :101-107
[28]   AN ABSTRACT INTERPRETATION SCHEME FOR IDENTIFYING INHERENT PARALLELISM IN LOGIC PROGRAMS [J].
BANSAL, AK ;
STERLING, LS .
NEW GENERATION COMPUTING, 1990, 7 (2-3) :273-324
[29]   A Stratified View of Programming Language Parallelism for Undergraduate CS Education [J].
Brown, Richard ;
Adams, Joel C. ;
Bunde, David P. ;
Mache, Jens ;
Shoop, Elizabeth .
SIGCSE 12: PROCEEDINGS OF THE 43RD ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2011, :81-82
[30]   EXPLOITING LIMITED ACCESS DISTANCE OF ODE SYSTEMS FOR PARALLELISM AND LOCALITY IN EXPLICIT METHODS [J].
Korch, Matthias .
ALGORITMY 2012, 2012, :250-260