✦ LIBER ✦

Detection of and-parallelism in logic programs

✍ Scribed by Zhiyi Huang; Shouren Hu

Book ID: 112948301
Publisher: Springer
Year: 1990
Tongue: English
Weight: 517 KB
Volume: 5
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02945290

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A compiling approach for exploiting AND-

A compiling approach for exploiting AND-parallelism in logic programs

✍ Hwang Zhiyi; Hu Shouren 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 447 KB

Logic programming and parallelism

✍ Jacques Cohen 📂 Article 📅 1989 🏛 Springer-Verlag 🌐 English ⚖ 897 KB

A Methodology for Granularity-Based Cont

A Methodology for Granularity-Based Control of Parallelism in Logic Programs

✍ P. LOPEZ; M. HERMENEGILDO; S. DEBRAY 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 674 KB

Several types of parallelism can be exploited in logic programs while preserving correctness and efficiency, i.e. ensuring that the parallel execution obtains the same results as the sequential one and the amount of work performed is not greater. However, such results do not take into account a numb

Linear time detection of inherent parall

Linear time detection of inherent parallelism in sequential programs

✍ Peter L. Bird 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 724 KB

The topological sort can be used for the rapid detection of parallelism in sequential programs. Using this algorithm, one can detect both intrablock and interblock parallelism. The algorithm requires only information normally collected by an optimizing compiler. \* Throughout this paper, we will us

Path for AND-parallel execution of logic

Path for AND-parallel execution of logic programs

✍ Su-Hyun Lee; Do-Hyung Kim; Kwang-Moo Choe 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 768 KB

OASys: An AND/OR parallel logic programm

OASys: An AND/OR parallel logic programming system

✍ I Vlahavas; P Kefalas; C Halatsis 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 252 KB

The OASys (Or/And SYStem) is a software implementation designed for AND/OR-parallel execution of logic programs. In order to combine these two types of parallelism, OASys considers each alternative path as a totally independent computation (leading to OR-parallelism) which consists of a conjunction