A methodology for granularity-based control of parallelism in logic programs

DOI10.1006/jsco.1996.0038zbMath0874.68043OpenAlexW2157542044MaRDI QIDQ2365139

Manuel V. Hermenegildo, Saumya Debray, P. Lopez

Publication date: 22 October 1997

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

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

zbMATH Keywords

program transformationoverhead controlParallel execution

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (6)

Lazy tree splitting ⋮ Parallel Logic Programming: A Sequel ⋮ Oracle-guided scheduling for controlling granularity in implicitly parallel languages ⋮ Non-strict independence-based program parallelization using sharing and freeness information ⋮ A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism ⋮ PAN: A portable, parallel Prolog: Its design, realisation and performance.

This page was built for publication: A methodology for granularity-based control of parallelism in logic programs