scientific article; zbMATH DE number 1254022

MaRDI QIDQ4227005zbMATH OpenFDO

Authors Enrico Pontelli, Gopal Gupta

Publication date 23 February 1999

zbMATH Keywords

dynamic dependent and-parallel schemeextended Andorra modelfiltered binding model

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Overview of DASWAM: Exploitation of dependent and-parallelism
• Logic Programming
• Independence in dynamically scheduled logic languages
• Parallel symbolic computation in ACE
• An execution model for exploiting AND-parallelism in logic programs

Cited in

(5)

• ACE: An associative calculus data structure
• Parallel symbolic computation in ACE
• Overview of DASWAM: Exploitation of dependent and-parallelism
• Fifty Years of Prolog and Beyond
• Parallel Logic Programming: A Sequel

This page was built for publication:

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