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