Overview of DASWAM: Exploitation of dependent and-parallelism

DOI10.1016/S0743-1066(96)00079-9zbMath0877.68018MaRDI QIDQ4339858

Kish Shen

Publication date: 8 December 1997

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

zbMATH Keywords

Prolog programsWarren abstract machinedynamic dependent and-parallel scheme

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (7)

Parallel Logic Programming: A Sequel ⋮ Enhancing DLV instantiator by backjumping techniques ⋮ Parallel backtracking with answer memoing for independent and-parallelism ⋮ DASWAM ⋮ 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

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