Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
From MaRDI portal
Publication:4245928
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
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