A parallel implementation of flat concurrent Prolog

DOI10.1007/BF01414556MaRDI QIDQ1819924zbMATH OpenFDO

Authors Yanyan Li

Publication date 1986

Published in International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01414556

zbMATH Keywords

concurrent programming languageIntel iPSC hypercubelogic programmingparallel executionuniprocessor implementation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Review text

Flat concurrent Prolog is a simple, practical, concurrent programming language which has an efficient uniprocessor implementation. This paper describes an initial parallel implementation of the language; it consists of an interpreter implemented on an Intel iPSC hypercube. The parallel execution of concurrent logic programming languages involves many nontrivial implementation problems. Some of these problems are well known and have been treated extensively in the literature. The most difficult task is to integrate problem solutions in a coherent and efficient manner. The algorithm presented has been useful in providing insights into the major problems and includes a number of novel ideas to simplify implementation. It does not attempt to solve all the problems involved but rather provides a workable basis for current and future research. The algorithm is under ongoing refinement, simplification and improvement.

Recommendations

• OR-parallel PROLOG in flat concurrent PROLOG
• Implementing parallel algorithms in concurrent prolog: The Maxflow experience
• Flat Parlog: A basis for comparison
• scientific article; zbMATH DE number 4128360
• A parallel Prolog resolution based on multiple unifications

Cites work

• A layered method for process and code mapping
• A parallel implementation of flat concurrent Prolog
• scientific article; zbMATH DE number 3890770 (Why is no real title available?)

Cited in

(18)

• Flat Parlog: A basis for comparison
• A parallel implementation of flat concurrent Prolog
• P-Prolog: A parallel logic language based on exclusive relation
• Compiling OR-parallelism into AND-parallelism
• PAN: A portable, parallel Prolog: Its design, realisation and performance.
• Optimization schemas for parallel implementation of non-deterministic languages and systems
• scientific article; zbMATH DE number 4162247 (Why is no real title available?)
• scientific article; zbMATH DE number 4162312 (Why is no real title available?)
• scientific article; zbMATH DE number 4060696 (Why is no real title available?)
• scientific article; zbMATH DE number 4060697 (Why is no real title available?)
• scientific article; zbMATH DE number 714466 (Why is no real title available?)
• scientific article; zbMATH DE number 1110837 (Why is no real title available?)
• Multi-threading and message communication in Qu-Prolog
• scientific article; zbMATH DE number 1926605 (Why is no real title available?)
• Implementing parallel algorithms in concurrent prolog: The Maxflow experience
• OR-parallel PROLOG in flat concurrent PROLOG
• Logic Programming
• A layered method for process and code mapping

This page was built for publication: A parallel implementation of flat concurrent Prolog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1819924)