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)

zbMATH Keywords

logic programmingparallel executionconcurrent programming languageIntel iPSC hypercubeuniprocessor implementation

Mathematics Subject Classification ID

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

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

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

Cited in

(17)

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

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)