An abstract machine to implement or-and parallel PROLOG efficiently

DOI10.1016/0743-1066(90)90025-ZMaRDI QIDQ3198866zbMATH OpenOpenAlexFDO

Authors Jacques Chassin de Kergommeaux, Philippe Robert

Publication date 1990

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

Full work available at URL https://doi.org/10.1016/0743-1066(90)90025-z

zbMATH Keywords

Abstract Machinelogic programmingparallel computationunification

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A parallel prolog system for distributed memory
• scientific article; zbMATH DE number 3965423
• OR-parallel execution of Prolog on a multi-sequential machine
• scientific article; zbMATH DE number 3963188
• scientific article; zbMATH DE number 512899

Cited in

(10)

• Sequentielle und parallele Architekturansätze für logische Programmiersprachen. (Sequential and parallel concepts for the architecture of logical programming languages)
• An abstract machine for the implementation of PARLOG on uniprocessors
• Concepts, design, and performance analysis of a parallel prolog machine
• OR-parallel execution of Prolog on a multi-sequential machine
• The reduce-or process model for parallel execution of logic programs
• scientific article; zbMATH DE number 3963188 (Why is no real title available?)
• scientific article; zbMATH DE number 3965423 (Why is no real title available?)
• scientific article; zbMATH DE number 4094788 (Why is no real title available?)
• scientific article; zbMATH DE number 512896 (Why is no real title available?)
• scientific article; zbMATH DE number 970732 (Why is no real title available?)

This page was built for publication: An abstract machine to implement or-and parallel PROLOG efficiently

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