.png){kind=icon}
返回
PARALLEL LOGIC PROGRAMMING SYSTEMS
.png){kind=icon}
OA
AI
DOI：10.1145/185403.185453.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Parallelizing logic programming has attracted much interest in the research community, because of the intrinsic OR- and AND-parallelisms of logic programs. One research stream aims at transparent exploitation of parallelism in existing logic programming languages such as Prolog, while the family of concurrent logic languages develops language constructs allowing programmers to express the concurrency-that is, the communication and synchronization between parallel processes-within their algorithms. This article concentrates mainly on transparent exploitation of parallelism and surveys the most mature solutions to the problems to be solved in order to obtain efficient implementations. These solutions have been implemented, and the most efficient parallel logic programming systems reach effective speedups over state-of-the-art sequential Prolog implementations. The article also addresses current and prospective research issues in extending the applicability and the efficiency of existing systems, such as models merging the transparent parallelism and the concurrent logic languages approaches, combination of constraint logic programming with parallelism, and use of highly parallel architectures.
Keyword:
AND-PARALLELISM
BINDING ARRAYS
CONCURRENT CONSTRAINT PROGRAMMING
CONSTRAINTS
GUARD, HASH WINDOWS
LOAD BALANCING
MASSIVE PARALLELISM
MEMORY MANAGEMENT
MULTISEQUENTIAL IMPLEMENTATION TECHNIQUES
NONDETERMINISM
OR-PARALLELISM
PROLOG
SCHEDULING PARALLEL TASKS
STATIC ANALYSIS
WARREN ABSTRACT MACHINE
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
28
论文数:
2.4K
被引数:
3.5W
机构
暂无机构信息
引用论文
分享收藏Molybdenum isotopic evidence for oxic marine conditions during the latest Permian extinction.png)
Geology
GeologyIF0
PREAI
分享收藏分享收藏
查看更多内容