Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!)

Authors:
Paul Tarau
Affiliations:
University of North Texas, Denton, TX, USA
Venue:
Proceedings of the sixth workshop on Declarative aspects of multicore programming
Year:
2011

Citing 18
Cited 3

An abstract machine for restricted AND-parallel execution of logic programs

Proceedings on Third international conference on logic programming
Guarded horn clauses

Proceedings of the 4th conference on Logic programming '85
The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)
Nonstandard answers of elementary logic programs

Constructing logic programs
Applications of the Aurora parallel Prolog system to computational molecular biology

ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Blackboard-based extensions in Prolog

Software—Practice & Experience
A Java fork/join framework

Proceedings of the ACM 2000 conference on Java Grande
Concurrency in Prolog using threads and a shared database

Proceedings of the 1999 international conference on Logic programming
Evaluating and Optimizing Thread Pool Strategies for Real-Time CORBA

OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces

PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Towards Inference and Computation Mobility: The Jinni Experiment

JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects

CL '00 Proceedings of the First International Conference on Computational Logic
High-level networking with mobile code and first order AND-continuations

Theory and Practice of Logic Programming
Towards a high-level implementation of flexible parallelism primitives for symbolic languages

Proceedings of the 2007 international workshop on Parallel symbolic computation
Google's MapReduce programming model — Revisited

Science of Computer Programming
Logic Engines as Interactors

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Interoperating Logic Engines

PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages

Integrated symbol table, engine and heap memory management in multi-engine prolog

Proceedings of the international symposium on Memory management
The binprolog experience: Architecture and implementation choices for continuation passing prolog and first-class logic engines

Theory and Practice of Logic Programming - Prolog Systems
Agent spaces: a scalable architecture for distributed logic agents

Proceedings of the 2012 ACM Research in Applied Computation Symposium

Quantified Score

Hi-index	0.02

Visualization

Abstract

We discuss the impact of the separation of logic engines (independent logic processing units) and multi-threading on the design of parallel programming constructs aware of the fundamental invariant of today's typical computer architectures: the presence of a few independent cores. We advocate a combination of coroutining constructs with focus on expressiveness and a simplified, multi-threading API that ensures optimal use of a desired number of cores. In this context, native multi-threading is made available to the application programmer as a set of high-level primitives with a declarative flavor.