eprintid: 14493 rev_number: 19 eprint_status: archive userid: 2047 dir: disk0/00/01/44/93 datestamp: 2013-02-15 07:50:38 lastmod: 2023-02-27 12:03:08 status_changed: 2023-02-27 12:03:08 type: conference_item metadata_visibility: show item_issues_count: 0 creators_name: Muthukumar, Kalyan creators_name: Hermenegildo, Manuel V. creators_orcid: 0000-0002-7583-323X title: The CDG, UDG, and MEL methods for automatic compile-time parallelization of logic programs for independent and-parallelism ispublished: pub subjects: informatica abstract: There has been significant interest in parallel execution models for logic programs which exploit Independent And-Parallelism (IAP). In these models, it is necessary to determine which goals are independent and therefore eligible for parallel execution and which goals have to wait for which others during execution. Although this can be done at run-time, it can imply a very heavy overhead. In this paper, we present three algorithms for automatic compiletime parallelization of logic programs using IAP. This is done by converting a clause into a graph-based computational form and then transforming this graph into linear expressions based on &-Prolog, a language for IAP. We also present an algorithm which, given a clause, determines if there is any loss of parallelism due to linearization, for the case in which only unconditional parallelism is desired. Finally, the performance of these annotation algorithms is discussed for some benchmark programs. date: 1990-06 date_type: published publisher: MIT Press full_text_status: public pres_type: paper pages: 786 event_title: Seventh International Conference of Logic Programming event_location: Jerusalem, Israel event_dates: June 18-20, 1990 event_type: conference institution: Informatica department: Inteligencia_Artificial refereed: TRUE isbn: 0262730901 book_title: Logic Programming, Proceedings of the Seventh International Conference rights: by-nc-nd citation: Muthukumar, Kalyan and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (1990). The CDG, UDG, and MEL methods for automatic compile-time parallelization of logic programs for independent and-parallelism. In: "Seventh International Conference of Logic Programming", June 18-20, 1990, Jerusalem, Israel. ISBN 0262730901. document_url: https://oa.upm.es/14493/1/HERME_ARC_1990-2.pdf