OR-parallel PROLOG in flat concurrent PROLOG

DOI10.1016/0743-1066(89)90016-2MaRDI QIDQ4734753zbMATH OpenOpenAlexWikidataFDO

Authors Ehud Shapiro

Publication date 1989

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(89)90016-2

zbMATH Keywords

PROLOGconcurrent programming languageOR-parallel execution algorithm

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Artificial intelligence (68T99) Theory of software (68N99) Theory of operating systems (68N25)

Recommendations

• OR-parallel execution of Prolog on a multi-sequential machine
• A parallel implementation of flat concurrent Prolog
• A parallel Prolog resolution based on multiple unifications
• A parallel prolog system for distributed memory
• scientific article; zbMATH DE number 3963188

Cited in

(12)

• Flat Parlog: A basis for comparison
• scientific article; zbMATH DE number 4058911 (Why is no real title available?)
• scientific article; zbMATH DE number 3958714 (Why is no real title available?)
• Cuts and side-effects in and-or parallel Prolog
• scientific article; zbMATH DE number 3963188 (Why is no real title available?)
• A parallel implementation of flat concurrent Prolog
• Implementing parallel algorithms in concurrent prolog: The Maxflow experience
• A parallel Prolog resolution based on multiple unifications
• scientific article; zbMATH DE number 67823 (Why is no real title available?)
• Compiling OR-parallelism into AND-parallelism
• Algebraic computational models of OR-parallel execution of Prolog
• OR-parallel execution of Prolog on a multi-sequential machine

This page was built for publication: OR-parallel PROLOG in flat concurrent PROLOG

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