scientific article; zbMATH DE number 1497835

zbMATH Open0958.68029MaRDI QIDQ4499259FDOQ4499259

Authors: Manuel Eduardo Correia, Vítor Costa 

Publication date: 6 March 2001

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Prolog

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Title not available (Why is that?)
• Cuts and side-effects in and-or parallel Prolog
• Title not available (Why is that?)

Cited In (1)

• Parallel backtracking with answer memoing for independent and-parallelism

Uses Software

• YAP-Prolog
• SICStus

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)