๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

An experiment for truly parallel logic programming

โœ Scribed by G. Efthivoulidis; N. Vlassis; P. Tsanakas; G. Papakonstantinou

Publisher
Springer Netherlands
Year
1996
Tongue
English
Weight
785 KB
Volume
16
Category
Article
ISSN
0921-0296

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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