Chapter PDF
References
G. Gupta, M. V. Hermenegildo, E. Pontelli, and V. Santos Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. In Proc. ICLP, 1994.
M. V. Hermenegildo. An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel. PhD thesis, U. of Texas at Austin, 1986.
M. V. Hermenegildo and K. J. Green. &-Prolog and its Performance: Exploiting Independent And-Parallelism. In D. H. D. Warren and P. Szeredi, editors, Logic Programming: Proceedings of the Seventh International Conference, pages 253–268. The MIT Press, 1990.
E. Pontelli, G. Gupta, D. Tang, M. Carro, and M. Hermenegildo. Improving the Efficiency of Nondeterministic And-parallel Systems. Computer Languages Journal, 1996. In Press.
K. Shen. Studies of And/Or Parallelism in Prolog. PhD thesis, U. of Cambridge, 1992.
K. Shen. Initial Results from the Parallel Implementation of DASWAM. Accepted at Joint International/Symposium of Logic Programming, 1996.
K. Shen. Overview of DASWAM: Exploitation of Dependent And-parallelism. J. of Logic Prog., 1996. In Press.
K. Shen and M. V. Hermenegildo. Flexible Scheduling and Memory Management Scheme for Non-deterministic, And-parallel Execution of Logic Programs. Technical Report, 1995.
K. Shen and M. V. Hermenegildo. High-level Characteristics of Or-and Independent And-parallelism in Prolog. Int. J. of Parallel Prog., 1996. In Press.
K. Shen and D. H. D. Warren. A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog. In Proc. Fourth SLP, 1987.
P. Szeredi. Performance Analysis of the Aurora Or-Parallel System. In Proc. NACLP, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shen, K., Hermenegildo, M.V. (1996). Flexible scheduling for non-deterministic, and-parallel execution of logic programs. In: Bougé, L., Fraigniaud, P., Mignotte, A., Robert, Y. (eds) Euro-Par'96 Parallel Processing. Euro-Par 1996. Lecture Notes in Computer Science, vol 1124. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024759
Download citation
DOI: https://doi.org/10.1007/BFb0024759
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61627-6
Online ISBN: 978-3-540-70636-6
eBook Packages: Springer Book Archive