A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism

DOI10.1007/978-3-540-89982-2_53zbMath1185.68152OpenAlexW2117326145MaRDI QIDQ5504687

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Publication date: 22 January 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: http://oa.upm.es/2903/

zbMATH Keywords

Prologand-parallelismhigh-level implementation

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

Parallel Logic Programming: A Sequel ⋮ Threads and or-parallelism unified ⋮ Non-strict independence-based program parallelization using sharing and freeness information ⋮ Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

Uses Software

• DASWAM
• Ciao
• CiaoPP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming
• A methodology for granularity-based control of parallelism in logic programs
• 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
• Overview of DASWAM: Exploitation of dependent and-parallelism
• Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

This page was built for publication: A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism