Title :
A parallel Prolog execution model: theoretical approach and experimental results
Author :
Bodeveix, J.P. ; Bizouarn, E.
Author_Institution :
IRIT, Univ. Paul Sabatier, Toulouse, France
Abstract :
This paper presents a parallel all-solution extension of Prolog integrating AND parallelism and a restricted form of OR parallelism, both explicitly declared by the user. Parallel sub-goals may share variables and incrementally communicate partially instantiated terms via their common variables, thus allowing stream AND parallelism. Furthermore, the communication direction does not need to be declared by the user or deduced by a static analysis. The resolution model is detailed and its completeness proven. The authors describe a transputer network implementation
Keywords :
PROLOG; parallel architectures; transputer systems; OR parallelism; Prolog integrating AND parallelism; parallel Prolog execution model; resolution model; static analysis; stream AND parallelism; transputer network implementation; Artificial intelligence; Computational modeling; Concurrent computing; Data analysis; Logic programming; Multiprocessing systems; Parallel languages; Parallel processing; Performance evaluation; Testing;
Conference_Titel :
Parallel Processing Symposium, 1993., Proceedings of Seventh International
Conference_Location :
Newport, CA
Print_ISBN :
0-8186-3442-1
DOI :
10.1109/IPPS.1993.262849