Regular ArticleParallel Logic Programming Systems on Scalable Architectures☆
References (30)
- et al.
The Muse or-parallel Prolog model and its performance
Proceedings of the 1990 North American Conference on Logic Programming
(1990) - et al.
Flexible scheduling of or-parallelism in Aurora: The Bristol scheduler
- et al.
Reform Prolog: The language and its implementation
Proceedings of the Tenth International Conference on Logic Programming
(1993) - et al.
Algorithms for categorizing multiprocessor communication under invalidate and update-based coherence protocols
Proceedings of the 28th Annual Simulation Symposium
(1995) - et al.
A portable and reasonably efficient implementation of KL1
Proceedings of the Eleventh International Conference on Logic Programming
(1993) - J. A. Crammond, Implementation of Committed Choice Logic Languages on Shared Memory Multiprocessors, Ph.D. thesis,...
- et al.
Parallel Computer Architecture: A Hardware/Software Approach
(1998) Strategies for scheduling and- and or-work in parallel logic programming systems
Proceedings of the 1994 International Logic Programming Symposium
(1994)Using cache memory to reduce processor-memory traffic
Proceedings of the 10th International Symposium on Computer Architecture
(1983)- et al.
&-ACE: A high performance parallel Prolog system
Proceedings of the First International Symposium on Parallel Symbolic Computation, PASCO'94
(1994)
&-Prolog and its performance: Exploiting independent and-parallelism
Proceedings of the Seventh International Conference on Logic Programming
(June 1990)
An incremental Prolog system development for the floor plan design by dissecting
Proceedings of the International Conference on Practical Application of Prolog
(1992)
The dash prototype: Logic overhead and performance
IEEE Trans. Parallel Distrib. Systems
(January 1993)
The Symmetry multiprocessor system
International Conference of Parallel Processing
(1988)
Cited by (0)
- ☆
This work was sponsored by CNPq, the Brazilian Research Council.
Copyright © 2000 Academic Press. All rights reserved.