The reduce-or process model for parallel execution of logic programs

DOI10.1016/0743-1066(91)90009-EMaRDI QIDQ3361876zbMATH OpenOpenAlexFDO

Authors Laxmikant V. Kalé

Publication date 1991

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

Full work available at URL https://doi.org/10.1016/0743-1066(91)90009-e

zbMATH Keywords

OR parallelismREDUCE-OR trees

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Algebraic computational models of OR-parallel execution of Prolog
• An execution model for exploiting AND-parallelism in logic programs
• scientific article; zbMATH DE number 3942996
• OR-parallel execution of Prolog on a multi-sequential machine
• On applying or-parallelism and tabling to logic programs
• scientific article; zbMATH DE number 4045121
• scientific article; zbMATH DE number 512899
• On the implementation of an or-parallel Prolog system for clusters of multicores
• An abstract machine to implement or-and parallel PROLOG efficiently

Cited in

(8)

• Efficient backward execution in AND/OR process model
• Ordered structures for parallel rule-based computations
• Yet another efficient backward execution algorithm in the AND/OR process model
• And—or parallelism on shared-memory multiprocessors
• PARSSSE: AN ADAPTIVE PARALLEL STATE SPACE SEARCH ENGINE
• scientific article; zbMATH DE number 712424 (Why is no real title available?)
• scientific article; zbMATH DE number 4045121 (Why is no real title available?)
• scientific article; zbMATH DE number 3958715 (Why is no real title available?)

This page was built for publication: The reduce-or process model for parallel execution of logic programs

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