Parallel backtracking with answer memoing for independent and-parallelism

DOI10.1017/S1471068411000172zbMath1222.68056arXiv1107.4724OpenAlexW2964045931MaRDI QIDQ3087444

Pablo Chico de Guzm'An, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Publication date: 16 August 2011

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1107.4724

zbMATH Keywords

performanceparallelismlogic programmingbacktrackingmemoization

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Parallel Logic Programming: A Sequel

Uses Software

• DASWAM
• YAP-Prolog

Cites Work

• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
• Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions
• Overview of DASWAM: Exploitation of dependent and-parallelism
• Tabled evaluation with delaying for general logic programs
• Determinacy Analysis for Logic Programs Using Mode and Type Information

This page was built for publication: Parallel backtracking with answer memoing for independent and-parallelism