✦ LIBER ✦

Logic programming and parallelism

✍ Scribed by Jacques Cohen

Book ID: 118296221
Publisher: Springer-Verlag
Year: 1989
Tongue: English
Weight: 897 KB
Volume: 44
Category: Article
ISSN: 0003-4347
DOI: 10.1007/bf02995673

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Self-programming optical parallel logic

✍ Siming Zhang; Lan Shao; Liren Liu 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 298 KB

Detection of and-parallelism in logic pr

Detection of and-parallelism in logic programs

✍ Zhiyi Huang; Shouren Hu 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 517 KB

Parallel Logic Programming for Problem S

Parallel Logic Programming for Problem Solving

✍ Ramiro Varela Arias; Camino Rodríguez Vela; Jorge Puente Peinador; Cesar Alonso 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 743 KB

System structure for parallel logic prog

System structure for parallel logic programming

✍ H. Diel; N. Lenz; H.M. Welsch 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 690 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

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