Flexible scheduling for non-deterministic, and-parallel execution of logic programs

  • Kish Shen
  • Manuel V. Hermenegildo
Workshop 17 Scheduling and Load Balancing
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1124)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    K. Shen. Studies of And/Or Parallelism in Prolog. PhD thesis, U. of Cambridge, 1992.Google Scholar
  6. 6.
    K. Shen. Initial Results from the Parallel Implementation of DASWAM. Accepted at Joint International/Symposium of Logic Programming, 1996.Google Scholar
  7. 7.
    K. Shen. Overview of DASWAM: Exploitation of Dependent And-parallelism. J. of Logic Prog., 1996. In Press.Google Scholar
  8. 8.
    K. Shen and M. V. Hermenegildo. Flexible Scheduling and Memory Management Scheme for Non-deterministic, And-parallel Execution of Logic Programs. Technical Report, 1995.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    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.Google Scholar
  11. 11.
    P. Szeredi. Performance Analysis of the Aurora Or-Parallel System. In Proc. NACLP, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Kish Shen
    • 1
  • Manuel V. Hermenegildo
    • 2
  1. 1.Department of Computer ScienceUniversity of ManchesterUK
  2. 2.Department of Computer ScienceT.U. of Madrid (UPM)Spain

Personalised recommendations