See this document in CiteSeerX!

Parallelism in Logic Programming  (Make Corrections)  
Cláudio F.R. Geyer, Patrícia Kayser Vargas, Inês de Castro Dutra



  Home/Search   Context   Related

 
View or download:
cos.ufrj.br/~ines/papers/cimpa99.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cos.ufrj.br/~ines/publ (more)
(Enter author homepages)

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

Abstract: This text summarises the main research work being carried out on the implementation of parallel logic programming systems. It concentrates on describing techniques for exploiting and-parallelism and or-parallelism while showing important aspects of some systems on shared-memory, distributed-memory and distributed-shared memory architectures. It also presents some important pointers to journals, conferences and sites with related information. 1 Introduction Parallel processing is a very... (Update)

Similar documents (at the sentence level):
35.2%:   Distributing And- and Or-Work in the Andorra-I Parallel Logic.. - Dutra (1995)   (Correct)
6.4%:   Distributed OR Scheduling with Granularity - Information Patrcia Kayser (2000)   (Correct)

Active bibliography (related documents):   More   All
2.2:   Using Compile-Time Granularity Information to Support.. - Dutra, Costa.. (1999)   (Correct)
2.0:   Parallel Execution of Prolog Programs: A Survey - Gupta, Ali, Carlsson, al. (1995)   (Correct)
1.3:   VisAll: A Universal Tool to Visualise the Parallel.. - Fonseca, Costa, Dutra (1998)   (Correct)

Similar documents based on text:   More   All
0.7:   Hierarchical Resource Management and Application Control.. - Vargas, Dutra, Geyer (2003)   (Correct)
0.5:   Regional Center and Grid Development in Brazil - Geyer, Yamin, Silva, Vargas.. (2002)   (Correct)
0.5:   DAOS - Scalable And-Or Parallelism - Castro, Costa, Geyer, Silva.. (1999)   (Correct)

BibTeX entry:   (Update)

@misc{ geyer-parallelism,
  author = "Cláudio F.R. Geyer and Patrícia Kayser Vargas and Inês
    de Castro Dutra",
  title = "Parallelism in Logic Programming",
  url = "citeseer.ist.psu.edu/238967.html" }
Citations (may not include all citations):
440   The Art of Prolog (context) - STERLING, SHAPIRO - 1994
395   An Abstract Prolog Instruction Set (context) - Warren - 1983
363   Programming in Prolog (context) - CLOCKSIN, MELLISH - 1986
159   Predicate Logic as a Programming Language (context) - KOWALSKI - 1974
130   From Logic Programming to Prolog (context) - APT - 1997
121   Guarded Horn Clauses - UEDA - 1986
120   The Aurora or-parallel Prolog system (context) - LUSK - 1988
120   The Aurora or-parallel Prolog system (context) - LUSK - 1990
89   The Muse Or-parallel Prolog Model and its Performance (context) - ALI, KARLSSON - 1990
82   Andorra-I: A Parallel Prolog System that Transparently Explo.. - COSTA, WARREN et al. - 1991
82   ACM Transactions on Programming Languages and Systems (context) - DEBRAY, LIN et al. - 1993
73   Restricted And-Parallelism (context) - DeGROOT - 1984
65   Concurrent Prolog--Collected Papers (context) - SHAPIRO - 1987
64   Communications ACM (context) - KOWALSKI, logic - 1979
63   The SRI model for or-parallel execution of Prolog--- abstrac.. (context) - WARREN - 1987
63   Parallel Logic Programming in PARLOG (context) - GREGORY - 1987
56   Or-parallel Copying-based Execution of Logic Programs (context) - GUPTA, HERMENEGILDO et al. - 1994
53   An Abstract Machine for Restricted And-Parallel Execution of.. (context) - HERMENEGILDO - 1986
48   prolog system: Exploiting independent and-parallelism (context) - HERMENEGILDO, GREENE - 1991
47   Can Logic Programming Execute as Fast as Imperative Programm.. - VAN ROY - 1990
42   Distributed Shared Memory: Concepts and Systems (context) - PROTIC, TOMASEVIC et al. - 1996
37   ACE: A High Performance Parallel Prolog System - GUPTA, PONTELLI et al. - 1994
29   Warren's Abstract Machine --- A Tutorial Reconstruction (context) - IT-KACI - 1991
29   Performance of the Compiler-Based Andorra-I System - YANG, BEAUMONT et al. - 1993
28   The Parallel ECRC Prolog System PEPSys: an Overview and Eval.. (context) - BARON, de KERGOMMEAUX et al. - 1988
25   A New Implementation Technique for Flat GHC (context) - UEDA, MORITA - 1990
21   Compile Time Granularity Analysis for Parallel Logic Program.. (context) - TICK - 1990
20   Or-Parallel Execution Models of Prolog (context) - WARREN - 1987
20   Principles of the DelPhi parallel inference machine (context) - CLOCKSIN - 1987
18   MultiLog: Data Or-Parallel Logic Programming (context) - SMITH - 1993
18   The Andorra-I Engine: A parallel implementation of the Basic.. (context) - YANG, COSTA et al. - 1991
17   A View of the Origins and Development of Prolog (context) - COHEN - 1988
16   Parallel execution of prolog programs: A survey - GUPTA, ALI et al. - 1995
16   and MEL Methods for Automatic Compile-time Parallelization o.. (context) - MUTHUKUMAR, HERMENEGILDO et al. - 1990
16   Strategies for Scheduling And- and Or-Work in Parallel Logic.. - DUTRA - 1994
15   A High Performance OR-parallel Prolog System - KARLSSON - 1992
15   Distributing And- and Or-Work in the Andorra-I Parallel Logi.. - DUTRA - 1995
13   Delta Prolog: a distributed backtracking extension with even.. (context) - PEREIRA, MONTEIRO et al. - 1986
13   A Graphical Tool for Observing the Behavior of Parallel Logi.. (context) - DISZ, LUSK - 1987
12   Swedish Institute of Computer Science (context) - ANDERSSON, ANDERSSON et al. - 1997
12   Parallel logic programming systems (context) - KERGOMMEAUX, CODOGNET - 1994
12   A Formal Model for Or-Parallel Execution of Logic Programs (context) - CIEPIELEWSKI, HARIDI - 1983
12   Overview of DASWAM: Exploitation of Dependent Andparallelism (context) - SHEN - 1996
11   Software --- Practice and Experience (context) - DE BOSSCHERE, TARAU et al. - 1996
11   Kernel Andorra Prolog and its Computational Model (context) - HARIDI, JANSSON - 1990
11   A and V. SANTOS COSTA. And-Or Parallelism in Full Prolog wit.. (context) - GUPT - 1992
10   A Technique for Compiling Execution Graph Expressions for Re.. (context) - DeGROOT - 1987
10   Parallel prolog using stack segments on shared memory multip.. (context) - BORGWARDT - 1984
10   MUSE TRACE: A Graphic Tracer for Or-Parallel Prolog (context) - SUNBERG, SVENSSON - 1990
9   Available at http://www (context) - SCHNEIDER, objects et al. - 1999
8   An Abstract KL1 Machine and its Instruction Set (context) - KIMURA, CHIKAYAMA - 1987
8   Optimising Parallel Logic Programming Systems for Scalable M.. - COSTA, BIANCHINI - 1998
7   Exploiting And-parallelism in Prolog: the Dynamic Dependent .. (context) - SHEN - 1992
7   YapOr: an Or-Parallel Prolog System based on Environment Cop.. - ROCHA, SILVA et al. - 1997
7   A parallel implementation for AKL (context) - MOOLENAAR, DEMOEN - 1993
7   Prolog a Parallel Logic Programming Language (context) - YANG - 1987
6   Swedish Institute for Computer Science (context) - MONTELIUS, Implementation et al. - 1997
6   Using SIMICS to evaluate the Penny system - MONTELIUS, MAGNUSSON - 1997
6   SideEffects in PloSys OR-parallel Prolog on Distributed Memo.. - MOREL, BRIAT et al. - 1996
6   Parallel Programming with Logic Languages: A Survey - CIANCARINI - 1992
5   Intelligent Scheduling And- and Or- Parallelism in the Paral.. (context) - YAOQING - 1991
5   Some Paradigms for Visualising Parallel Execution of Logic P.. (context) - 'OMEZ, CARRO et al. - 1993
5   Memory Management and Goal Scheduling for Parallel Execution.. (context) - SHEN - 1993
5   OrParallel Execution of Logic Programs (context) - VAUPEL, PONTELLI et al. - 1997
4   Scheduling of or-parallel prolog on a scalable (context) - BRIAT, FAVRE et al. - 1991
4   Programming Paradigms of the Andorra Kernel Language (context) - JANSSON, HARIDI - 1991
4   The Influence of Computer Architectural Parameters on Parall.. (context) - SILVA, DUTRA et al. - 1999
4   User Manual (context) - AGGOUN - 1995
4   Stack-Splitting: a Simple Technique for Implementing Or-Para.. - GUPTA, PONTELLI - 1999
4   The Multipath Parallel Execution Model for Prolog - GONZ, TUBELLA - 1994
3   The SBA: Exploiting orthogonality in OR-AND Parallel Systems (context) - CORREIA, SILVA et al. - 1997
3   Or-Parallel Prolog with Heuristic Task Distribution (context) - FOONG - 1991
3   Self-Organising Task Scheduling for Parallel Execution of Lo.. (context) - LIN - 1992
3   Guarded Horn Clauses and Experiences with Parallel Programmi.. (context) - TANAKA, UEDA et al. - 1986
3   Using Compile-Time Granularity Information to Support Dynami.. - DUTRA, COSTA et al. - 1999
3   On Criteria for Or-parallel Execution of Logic Programs (context) - GUPTA, JAYARAMAN - 1990
3   An Execution Model for Exploiting AndParallelism in Logic Pr.. (context) - LIN, KUMAR - 1988
2   An Abstract Machine to Implement Or-And Parallel Prolog Effi.. (context) - KERGOMMEAUX, ROBERT - 1990
2   Opera: a parallel prolog system and its implementation on su.. (context) - BRIAT, FABRE et al. - 1990
2   Distributing And-Work and Or-Work in Parallel Logic Programm.. - DUTRA - 1996
2   VisAll: A Universal Tool to Visualise Parallel Execution of .. - FONSECA, DUTRA et al. - 1998
2   Parallel logic programming systems on scalable architectures - COSTA, BIANCHINI et al. - 1999
2   Prolog with Communicating Processes: From T-Prolog to CSRPro.. (context) - FUTO - 1993
2   Blackboard programming in shared prolog (context) - CIANCARINI - 1993
2   PENELOPE: Um modelo de Escalonador Hier'arquico para o Siste.. (context) - CENTENO, GEYER - 1998
2   DAOS -- Scalable And-Or Parallelism - CASTRO, COSTA et al. - 1999
2   Granlog: Um modelo para an'alise autom'atica de granulosidad.. (context) - BARBOSA - 1996
2   Performance Evaluation of OrParallel Logic Programming Syste.. - CALEGARIO, DUTRA - 1999
1   Special Issue: Applications of Logic Programming (context) - of, Programming - 1996
1   paralelismo ou na programac~ao em l'ogica com restric~oes (context) - VARGAS, GEYER - 1997
1   A Static Implementation of the Basic Andorra Model for Distr.. (context) - BENJUMEA, TROYA - 1996
1   Parallel Logic Programming Techniques (context) - von LAHUIZEN - 1998
1   Evaluanting Parallel Logic Programming Systems on Scalable M.. (context) - COSTA, BIANCHINI et al. - 1997
1   Execution Models and Parallel Implementations of Prolog (context) - CIEPIELEWSKY, ALI et al. - 1993
1   Uma Proposta de Escalonamento Distribuiido para Explorac~ao .. (context) - COSTA, GEYER - 1998
1   Available at http://www (context) - PONTELLI, parallel - 1996
1   The Standard: Reference Manual (context) - DERANSART, ED-DBALI et al. - 1996
1   A Flexible Scheduler for Andorra (context) - DUTRA - 1991
1   TAMAGOSHI - Plataforma para Avaliac~ao de Escalonamento de T.. (context) - VARGAS, GEYER et al. - 1998
1   The appelo project -- parallel environment for logic program.. (context) - GEYER, BARBOSA et al. - 1998
1   Estimating the computacional cost of logic programs (context) - DEBRAY, GARCA et al. - 1994
1   Uma poltica de escalonamento distribuda no modelo pclp (context) - VARGAS, GEYER - 1998
1   The andorrai preprocessor: Suporting full prolog on the basi.. (context) - COSTA, WARREN et al. - 1991

Documents on the same site (http://www.cos.ufrj.br/~ines/publ.html):   More
Performance of the Compiler-based Andorra-I System - Yang, Beaumont, Dutra.. (1993)   (Correct)
VisAll: A new Tool to Visualise Parallel Execution of Logic .. - Fonseca, Costa, Dutra   (Correct)
Strategies for Scheduling And- and Or-Work in Parallel Logic.. - Dutra (1994)   (Correct)

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

CiteSeer.IST - Copyright Penn State and NEC