scientific article; zbMATH DE number 512896

MaRDI QIDQ4281603zbMATH OpenFDO

Authors Remco Moolenaar, Bart Demoen

Publication date 28 July 1994

zbMATH Keywords

AND/OR parallelismAndorra Kernel Language

Mathematics Subject Classification ID

Logic programming (68N17) Theory of operating systems (68N25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• An abstract machine to implement or-and parallel PROLOG efficiently
• And—or parallelism on shared-memory multiprocessors
• OASys: an AND/OR parallel logic programming system
• Parallel symbolic computation in ACE

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 Q4281603)