Roland Karlsson  Home/Search
Context Related
| sics.se/~roland/Papers/thesis.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sics.se/~roland/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: P ROLOG, the most popular logic programming language, has been developed for single-processor computers. The implementations of sequential Prolog became efficient with the development of the Warren Abstract Machine (WAM) and are still improving. Today many parallel computers are commercially available and the question is how to utilize this opportunity to speed up the execution of Prolog programs. Our approach has been to study and develop efficient techniques for implementing OR-parallel... (Update)
Context of citations to this paper: More
...program. In the area of parallel logic programming, tools are used to visualize the parallel execution of programs, e.g. the Must Tool [Kar92, SS90] and the VisAndOr Tool [CGH93] These tools also visualize the (OR parallel) search process, however they are designed to be used...
...of parallel execution models for logic programs. We will focus on the visualization of Or parallelism [Lus88, CSW88, CA88, AK90, Kar92] Restricted And parallelism (RAP) DeG84, HG90] and Determinate Dependent And parallelism (DDAP) as in [Nai88, SCWY90] and...
Cited by: More
Parallel CLP on Heterogeneous Networks - Mudambi, Schimpf (1994) (Correct)
Programming Constraint Services - Schulte (2002) (Correct)
YapOr: an Or-Parallel Prolog System based on Environment.. - Rocha, Silva, Costa (1997) (Correct)
Similar documents (at the sentence level): More
25.4%: How to Build your own OR-parallel Prolog System - Roland Karlsson (1992) (Correct)
9.6%: The Engine-Scheduler Interface used in the Muse OR-parallel.. - Karlsson, Ali (1992) (Correct)
8.1%: Performance of Muse on Switch-Based Multiprocessor Machines - Ali, Karlsson, Mudambi (1992) (Correct)
Active bibliography (related documents): More All
2.1: Parallel Execution of Prolog Programs: A Survey - Gupta, Ali, Carlsson, al. (1995) (Correct)
1.6: Distributing And- and Or-Work in the Andorra-I Parallel Logic.. - Dutra (1995) (Correct)
1.0: Parallel Logic Programming Techniques - van Lohuizen (1998) (Correct)
Similar documents based on text: More All
0.2: Scheduling Speculative Work in MUSE and Performance Results - Ali, Karlsson (1992) (Correct)
0.1: Or-Parallel Scheduling Strategies Revisited - Dutra, Carrusca (Correct)
0.1: Best Probability of Activation and Performance Comparisons for .. - Kristoferson (1995) (Correct)
Related documents from co-citation: More All
10: The Aurora Or-Parallel Prolog System (context) - Lusk, Butler et al. - 1988
7: An abstract prolog instruction set (context) - Warren - 1983
5: Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or.. - Costa, Warren et al. - 1991
BibTeX entry: (Update)
Roland Karlsson. A High Performance OR-parallel Prolog System. PhD thesis, The Royal Institute of Technology, Stockholm, March 1992. http://citeseer.ist.psu.edu/karlsson92high.html More
@misc{ karlsson92high,
author = "R. Karlsson",
title = "A High Performance OR-parallel Prolog System",
text = "Roland Karlsson. A High Performance OR-parallel Prolog System. PhD thesis,
The Royal Institute of Technology, Stockholm, March 1992.",
year = "1992",
url = "citeseer.ist.psu.edu/karlsson92high.html" }
Citations (may not include all citations):440 The Art of Prolog (context) - Sterling, Shapiro - 1986
395 An Abstract Prolog Instruction Set (context) - Warren - 1983
121 Guarded Horn Clauses - Ueda - 1986
120 The Aurora OR-parallel Prolog System (context) - Lusk, Warren et al. - 1990
89 The Muse OR-parallel Prolog Model and its Performance (context) - Ali, Karlsson - 1990
83 Prolog and its Performance: Exploiting Independent And-Paral.. (context) - Hermenegildo, Greene - 1990
82 Andorra-I: A Parallel Prolog System that Transparently Explo.. - Costa, Warren et al. - 1991
73 Restricted AND-Parallelism (context) - DeGroot - 1984
72 Kernel Andorra Prolog and its Computation Model - Haridi, Janson - 1990
65 Concurrent Prolog---Collected Papers (context) - Shapiro - 1987
63 The SRI Model for OR-Parallel Execution of Prolog--- Abstrac.. (context) - Warren - 1987
63 Parallel Logic Programming in Parlog (context) - Gregory - 1987
59 Combined Determination of Sharing and Freeness of Program Va.. - Muthukumar, Hermenegildo - 1991
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 An Automatic Partial Evaluator for Full Prolog - Sahlin - 1991
41 High Performance Prolog Implementation (context) - Taylor - 1991
38 Parallelizing NU-Prolog (context) - Naish - 1988
38 High-Performance Logic Programming with the Aquarius Prolog .. (context) - Van Roy, Despain - 1992
36 Garbage Collection for Prolog Based on WAM (context) - Appleby, Carlsson et al. - 1988
34 The Muse Approach to OR-parallel Prolog - Ali, Karlsson - 1990
31 Swedish Institute of Computer Science (context) - Carlsson, Wid'en et al. - 1988
29 Full Prolog and Scheduling ORparallelism in Muse (context) - Ali, Karlsson - 1990
28 The Parallel ECRC Prolog System PEPSys: An Overview and Eval.. (context) - Baron, de Kergommeaux et al. - 1988
27 Efficient Implementation of a Defensible Semantics for Dynam.. (context) - Lindholm, O'Keefe - 1987
25 Performance Analysis of the Aurora OR-parallel Prolog System (context) - Szeredi - 1989
25 Sepia - an extendible Prolog system (context) - Meier, Aggoun et al. - 1989
24 Elsevier North-Holland (context) - Kowalski, Problem - 1979
22 OR Process Model for Parallel Interpretation of Logic Progra.. (context) - Conery - 1983
21 The PEPSys model: combining backtracking (context) - Westphal, Robert et al. - 1987
20 Pruning and Speculative Work in OR-parallel PROLOG (context) - Hausman - 1990
20 Principles of the DelPhi Parallel Inference Machine (context) - Clocksin - 1987
19 Binding Environments for Parallel Logic Programs in Nonshare.. (context) - Conery - 1988
18 Andorra Prolog---an integration of Prolog and committed choi.. (context) - Haridi, Brand - 1988
17 Can Logic Programming Execute as Fast as Imperative Programm.. (context) - Van Roy - 1990
16 Scheduling OR-Parallelism: an Argonne Perspective (context) - Butler, Disz et al. - 1988
16 and MEL Methods for Automatic Compile-time Parallelization o.. (context) - Muthukumar, Hermenegildo et al. - 1990
16 Scheduling OR-parallelism in Aurora---the Manchester Schedul.. (context) - Calderwood, Szeredi - 1989
14 Cut and SideEffects in OR-Parallel Prolog (context) - Hausman, Ciepielewski et al. - 1988
14 OR-parallel Prolog Made Efficient on Shared Memory Multiproc.. (context) - Hausman, Ciepielewski et al. - 1987
13 A Graphical Tool for Observing the Behavior of Parallel Logi.. (context) - Disz, Lusk - 1987
12 Applied Logic---Its Use and Implementation as a Programming .. (context) - Warren - 1977
12 On Criteria for OR-parallel Execution Models of Logic Progra.. (context) - Gupta, Jayaraman - 1990
10 Compiled AND-OR Parallelism on Shared Memory Multiprocessors (context) - Gupta, Jayaraman - 1989
10 Experiments with OR-parallel Logic Programs (context) - Disz, Lusk et al. - 1987
10 A Scalable Abstract Machine Model to Support Limited-OR (context) - Biswas, Su et al. - 1988
10 MUSE TRACE: A Graphic Tracer for ORparallel Prolog (context) - Sundberg, Svensson - 1990
10 OR-parallel Execution of Prolog on BC-machine (context) - Ali - 1988
10 Parallel Prolog using Stack Segments on Shared-Memory Multip.. (context) - Borgwardt - 1984
9 OR-parallel Execution of Prolog on a Multi-Sequential Machin.. (context) - Ali - 1986
8 Performance of Aurora on NUMA machines (context) - Mudambi - 1991
8 Using Automated Reasoning Tool Study Semigroup FB (context) - Lusk, Using et al. - 1987
7 ANLWAM--- A Parallel Implementation of the Warren Abstract M.. (context) - Butler, Lusk et al. - 1986
7 IDIOM: Integrating Dependent AND (context) - Gupta, Costa et al. - 1991
7 Interfacing Engines and Schedulers in OR-parallel Prolog Sys.. - Szeredi, Carlsson et al. - 1991
6 OR-parallel Speedups in a Knowledge Based System: on Muse an.. (context) - Ali, Karlsson - 1992
6 The Reduce-OR Process Model for Parallel Evaluation of Logic.. (context) - Kal'e - 1987
6 A Method for Implementing Cut in Parallel Execution of Prolo.. (context) - Ali - 1987
6 Wavefront scheduling (context) - Brand - 1988
6 A Stream AND-parallel Execution Algorithm with Backtracking (context) - Somogyi, Ramamohanarao et al. - 1988
5 KABU-WAKE: A New Parallel Inference Method and Its Evaluatio.. (context) - Kumon, Masuzawa et al. - 1986
5 Swedish Institute of Computer Science (context) - Janson, Karlsson et al. - 1992
5 Performance of Muse on Switch-Based Multiprocessor Machines - Ali, Karlsson et al. - 1992
5 Scheduling ORParallelism in Aurora with the Bristol Schedule.. (context) - Beaumont, Raman et al. - 1990
5 Scheduling OR-parallelism in Muse (context) - Ali, Karlsson - 1991
4 An OR-parallel Execution Algorithm for Prolog and its FCP Im.. (context) - Shapiro - 1987
4 A Simplified Approach to the Implementation of AND-paralleli.. (context) - Carlsson, Danhof et al. - 1988
4 A Memory Organization Independent Binding Environment for An.. (context) - Kal'e, Ramkumar et al. - 1988
4 Presentation at the Gigalips Workshop (context) - Ratcliffe, Report et al. - 1988
3 OR-parallel Execution of Prolog Programs with Side Effects (context) - Kal'e, Padua et al. - 1988
3 A New Parallel Inference Mechanism Based on Sequential Proce.. (context) - Sohma, Satoh et al. - 1985
3 The Engine-Scheduler Interface used in the Muse OR-parallel .. - Karlsson, Ali - 1992
3 in and Vipin Kumar. AND-parallel Execution of Logic Programs.. (context) - Yow-Jian - 1988
3 OR-Parallel SpeedUp in Natural Language Processing: A Case S.. (context) - Hirschman, Hopkins et al. - 1988
3 Handling of Speculative Work in OR-parallel Prolog: Evaluati.. (context) - Hausman - 1990
2 Garbage Collection for the Aurora System: A feasibility stud.. (context) - Weemeeuw - 1991
2 VISANDOR:A Tool for Visualizing And- and Or-parallelism in L.. (context) - Carro, Gomez et al. - 1991
2 The ACE Multiprocessor Workstation (context) - Garcia, Freitas - 1988
2 Handling Package specification (context) - Lusk - 1989
2 OR-parallel Execution of Horn Clause Programs Based on WAM a.. (context) - Ali - 1986
2 Personal communication (context) - Mudambi - 1990
2 Prolog by BIM] is an impressive Prolog with several good fea.. (context) - Pazzani, Cain et al. - 1991
2 How to Build Your Own OR-parallel Prolog System - Karlsson - 1992
1 Efficient Prolog Management for Flexible Control Strategies (context) - Warren - 1984
1 Towards a Domain Specific Shell for Design Rule Checking (context) - Holmgren, Orsvarn - 1989
1 MUSE: A Parallel Prolog System (context) - Ali, Karlsson - 1991
1 Univerity of Illinois at UrbanaChampaign (context) - Ramkumar, AND et al. - 1991
1 OR-parallel Copyingbased Implementation of Logic Programs (context) - Gupta, Hermenegildo et al. - 1991
1 On Methods for Developing Knowledge Systems --- an Example i.. (context) - Hagert, Holmgren et al. - 1988
1 Manual for Quintus Prolog release (context) - Corporation - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.sics.se/~roland/papers.html):
Evaluation of a Fast Activation Mechanism for the Kanerva SDM.. - Karlsson (1995) (Correct)
Scheduling Speculative Work in MUSE and Performance Results - Ali, Karlsson (1992) (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