A parallel Prolog resolution based on multiple unifications

DOI10.1016/0167-8191(92)90070-NMaRDI QIDQ1195712zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Ioannis Vlahavas, Petros Kefalas

Publication date 19 January 1993

Published in Parallel Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-8191(92)90070-n

zbMATH Keywords

parallelismunificationProloglogic programsresolution principleAND and OR parallelismresolution algorithms

Mathematics Subject Classification ID

Logic programming (68N17) Distributed algorithms (68W15)

Recommendations

• OR-parallel PROLOG in flat concurrent PROLOG
• OR-parallel execution of Prolog on a multi-sequential machine
• Publication:4723279
• scientific article; zbMATH DE number 712424
• Concepts, design, and performance analysis of a parallel prolog machine

Cited in

(7)

• OR-parallel PROLOG in flat concurrent PROLOG
• A parallel implementation of flat concurrent Prolog
• scientific article; zbMATH DE number 3980533 (Why is no real title available?)
• Implementing parallel algorithms in concurrent prolog: The Maxflow experience
• Parallel inference algorithms for the connection method on systolic arrays
• scientific article; zbMATH DE number 4191091 (Why is no real title available?)
• scientific article; zbMATH DE number 4094788 (Why is no real title available?)

This page was built for publication: A parallel Prolog resolution based on multiple unifications

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