Compilation of logic programs for restricted and-parallelism

  • Dean Jacobs
  • Anno Langen
5. Implementation Of Programming Languages
Part of the Lecture Notes in Computer Science book series (LNCS, volume 300)


  1. [Carlton 88]
    Carlton,M. and Van Roy,P., A distributed Prolog system with and-parallelism, Dept. of EECS, Univ. of Cal. at Berkeley, Submitted to 1988 Hawaii International Conference on System Sciences, (1988).Google Scholar
  2. [Chang 85a]
    Chang, J.-H., High Performance Execution of Prolog Programs Based on a Static Data Dependency Analysis, Ph.D. thesis in Dept. of EECS, Univ. of Cal. at Berkeley, Report No. UCB/CSD 86/263, (1985).Google Scholar
  3. [Chang 85b]
    Chang, J.-H., Despain, A., and DeGroot, D., AND-parallelism of logic programs based on a static dependency analysis, Proc. Spring Compcon, IEEE, (1985), 218–225.Google Scholar
  4. [Clark 86]
    Clark, K.L., and Gregory, S., PARLOG: Parallel programming in logic, ACM TOPLAS 8,1 (1986), 1–49.Google Scholar
  5. [Conery 81]
    Conery, J., and Kibler, D., Parallel interpretation of logic programs, Proc. Conf. on Func. Prog. Lang. and Comp. Arch., ACM (1981), 163–170.Google Scholar
  6. [Conery 87]
    Conery, J., Parallel Execution of Logic Programs, Kluwer Academic Publishers, (1987).Google Scholar
  7. [DeGroot 84]
    DeGroot, D., Restricted and-parallelism, Proc. Int. Conf. Fifth Gen. Comp. Sys., ICOT, (1984), 471–478.Google Scholar
  8. [DeGroot 87a]
    DeGroot, D., A technique for compiling execution graph expressions for restricted and-parallelism in logic programs, Proc. Int. Supercomputing Conf. Athens, Greece (1987).Google Scholar
  9. [DeGroot 87b]
    DeGroot, D., Restricted and-parallelism and side-effects, Proc. Symp. Log. Prog., IEEE, San Francisco, (1987).Google Scholar
  10. [Hermenegildo 87]
    Hermenegildo, M., A Restricted And-Parallel Execution Model and Abstract Machine for Prolog Programs, Kluwer Academic Press, (1987).Google Scholar
  11. [Shapiro 86]
    Shapiro, E., Concurrent Prolog: a progress report, IEEE Computer 19, 8 (1986), 44–58.Google Scholar
  12. [Warren 83]
    Warren, D.H.D., An abstract Prolog instruction set, Tech. Note 309, SRI International, Oct. (1983).Google Scholar
  13. [Wise 82]
    Wise, M.J., A parallel Prolog: the construction of a data driven model, Proc. Conf. LISP and Func. Prog., ACM, (1982).Google Scholar
  14. [Wise 86]
    Wise, M.J., Prolog Multiprocessors, Prentice-Hall International, (1986).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Dean Jacobs
    • 1
  • Anno Langen
    • 1
  1. 1.Computer Science DepartmentUniversity of Southern CaliforniaLos Angeles

Personalised recommendations