A Parallel Prolog Execution Model Theoretical Approach and Experimental Results  (Make Corrections)  
J.P. Bodeveix E. Bizouarn Universite Paul Sabatier Universite Paris-Sud 31062 ...

 @ NUS   Home/Search   Context   Related

 
View or download:
irit.fr/pub/IRIT/SLOO...logarithm.ps.gz
Cached:  PS.gz  PS  PDF  Image  Update  Help

From:  fermivista.math.jus...ftp.irit.fr (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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... (Update)

Active bibliography (related documents):   More   All
0.6:   Procedure Backtracking Points And Variable Ages In An.. - Ilyas Cicekli   (Correct)
0.6:   An Intelligent Backtracking Schema in A Logic Programming.. - Cicekli (1997)   (Correct)
0.5:   Data-parallel Implementation of Prolog - Bevemyr (1996)   (Correct)

Similar documents based on text:   More   All
0.1:   Space: Symbolic Processing In Associative Computing Elements - Corresponding Author Krste   (Correct)
0.0:   The Path-repair algorithm - Jussien, Lhomme (1999)   (Correct)
0.0:   Quantifier Elimination Technics for Program Validation - J.-P. Bodeveix, M. Filali (1997)   (Correct)

BibTeX entry:   (Update)

@misc{ bizouarn-parallel,
  author = "Bodeveix Bizouarn",
  title = "A Parallel Prolog Execution Model Theoretical Approach and Experimental
    Results",
  url = "citeseer.comp.nus.edu.sg/122803.html" }
Citations (may not include all citations):
395   An abstract prolog instruction set (context) - Warren - 1983
121   Guarded Horn Clauses - Ueda - 1985
120   The AuroraOR Parallel Prolog System (context) - Lusk - 1990
63   Parallel logic programming in PARLOG (context) - Gregory - 1987
57   A subset of Concurrent PROLOG and its interpreter (context) - Shapiro - 1983
32   Deduction revision by intelligent backtracking (context) - Bruynooghe, Pereira - 1984
28   The parallel ECRC prolog system PEPSys: an overview and eval.. (context) - Chassin - 1988
19   A logic programming language based on the Andorra model (context) - Haridi - 1990
9   Finding backtrack points for intelligent backtracking (context) - Cox - 1984
6   Problems with Concurrent Prolog (context) - Saraswat - 1985
6   A stream AND-parallel execution algorithm with backtracking (context) - Somogyi, Ramamohanarao - 1988
4   An intelligent backtracking algorithm for parallel execution.. (context) - Kumar, Lin - 1986
3   Implementing backward execution in nondeterministic AND-para.. (context) - Conery - 1987
3   An object oriented programming language based on the paralle.. (context) - Takeuchi, Furukawa - 1987
1   An abstract machine for restricted ANDparallelism (context) - Hermenegildo - 1986
1   Performances of AND-parallel execution of logic programs on .. (context) - Lin - 1988
1   Parallel Associative Development Machine As a Vehicle for Ar.. (context) - Guichard-Jary - 1990
1   Logarithm - A parallel prolog execution model (context) - Bodeveix, Bizouarn - 1992
1   Backtrack intelligent en programmationlogique (context) - Codognet - 1989
1   Time, clocksand the orderingof events in a distributed syste.. (context) - Lamport - 1978

Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.irit.fr.html):   More
Combining Hypothetical Reasoning And Plausible Inference In.. - Dubois, PRADE (1996)   (Correct)
Hypothetical Reasoning In Possibilistic Logic: Basic.. - Benferhat, Dubois.. (1993)   (Correct)
Fuzzy Constraints in Job-Shop Scheduling - Dubois, Fargier, Prade (1995)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST at NUS   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.