J.P. Bodeveix E. Bizouarn Universite Paul Sabatier Universite Paris-Sud 31062 ...  @ NUS Home/Search
Context
Related
| 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 |
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.