Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism

DOI10.1016/S0743-1066(98)10022-5zbMath0927.68018OpenAlexW2039395876MaRDI QIDQ4245928

Kalyan Muthukumar, Manuel V. Hermenegildo, Francisco Bueno, Maria Garcia de la Banda

Publication date: 20 July 1999

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

Full work available at URL: https://doi.org/10.1016/s0743-1066(98)10022-5

zbMATH Keywords

automatic parallelization

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

An overview of Ciao and its design philosophy, Fifty Years of Prolog and Beyond, Parallel Logic Programming: A Sequel, A sharing-based approach to supporting adaptation in service compositions, Annotation of logic programs for independent AND-parallelism by partial evaluation, Optimization schemas for parallel implementation of non‐deterministic languages and systems, Ordered structures for parallel rule-based computations, Parallel backtracking with answer memoing for independent and-parallelism, Non-strict independence-based program parallelization using sharing and freeness information, Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs, A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism

Uses Software

• DASWAM