Overview of DASWAM: Exploitation of dependent and-parallelism

DOI10.1016/S0743-1066(96)00079-9MaRDI QIDQ4339858zbMATH OpenFDO

Authors Kish Shen

Publication date 8 December 1997

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

Full work available at URL https://doi.org/10.1016/S0743-1066(96)00079-9

zbMATH Keywords

dynamic dependent and-parallel schemeProlog programsWarren abstract machine

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A parallel prolog system for distributed memory
• scientific article; zbMATH DE number 1254022
• scientific article; zbMATH DE number 1737609
• scientific article; zbMATH DE number 3965423

Cited in

(9)

• DASWAM
• Enhancing DLV instantiator by backjumping techniques
• Parallel backtracking with answer memoing for independent and-parallelism
• scientific article; zbMATH DE number 67823 (Why is no real title available?)
• scientific article; zbMATH DE number 1254022 (Why is no real title available?)
• Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
• Two WAM Implementations of Action Rules
• A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
• Parallel Logic Programming: A Sequel

This page was built for publication: Overview of DASWAM: Exploitation of dependent and-parallelism

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