DocumentCode :
3486402
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
fYear :
1993
fDate :
13-16 Apr 1993
Firstpage :
7
Lastpage :
15
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Parallel Processing Symposium, 1993., Proceedings of Seventh International
Conference_Location :
Newport, CA
Print_ISBN :
0-8186-3442-1
Type :
conf
DOI :
10.1109/IPPS.1993.262849
Filename :
262849
Link To Document :
بازگشت