scientific article; zbMATH DE number 1497835

MaRDI QIDQ4499259zbMATH OpenFDO

Authors Manuel Eduardo Correia, Vítor Costa

Publication date 6 March 2001

zbMATH Keywords

Prolog

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Parallel backtracking with answer memoing for independent and-parallelism
• And—or parallelism on shared-memory multiprocessors
• Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions

Cites work

• scientific article; zbMATH DE number 3965422 (Why is no real title available?)
• scientific article; zbMATH DE number 1420803 (Why is no real title available?)
• Cuts and side-effects in and-or parallel Prolog

Cited in

(1)

• Parallel backtracking with answer memoing for independent and-parallelism

Describes a project that uses

Uses Software

• SICStus
• YAP-Prolog

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