Chapter PDF
References
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).
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).
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.
Clark, K.L., and Gregory, S., PARLOG: Parallel programming in logic, ACM TOPLAS 8,1 (1986), 1–49.
Conery, J., and Kibler, D., Parallel interpretation of logic programs, Proc. Conf. on Func. Prog. Lang. and Comp. Arch., ACM (1981), 163–170.
Conery, J., Parallel Execution of Logic Programs, Kluwer Academic Publishers, (1987).
DeGroot, D., Restricted and-parallelism, Proc. Int. Conf. Fifth Gen. Comp. Sys., ICOT, (1984), 471–478.
DeGroot, D., A technique for compiling execution graph expressions for restricted and-parallelism in logic programs, Proc. Int. Supercomputing Conf. Athens, Greece (1987).
DeGroot, D., Restricted and-parallelism and side-effects, Proc. Symp. Log. Prog., IEEE, San Francisco, (1987).
Hermenegildo, M., A Restricted And-Parallel Execution Model and Abstract Machine for Prolog Programs, Kluwer Academic Press, (1987).
Shapiro, E., Concurrent Prolog: a progress report, IEEE Computer 19, 8 (1986), 44–58.
Warren, D.H.D., An abstract Prolog instruction set, Tech. Note 309, SRI International, Oct. (1983).
Wise, M.J., A parallel Prolog: the construction of a data driven model, Proc. Conf. LISP and Func. Prog., ACM, (1982).
Wise, M.J., Prolog Multiprocessors, Prentice-Hall International, (1986).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jacobs, D., Langen, A. (1988). Compilation of logic programs for restricted and-parallelism. In: Ganzinger, H. (eds) ESOP '88. ESOP 1988. Lecture Notes in Computer Science, vol 300. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19027-9_19
Download citation
DOI: https://doi.org/10.1007/3-540-19027-9_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19027-1
Online ISBN: 978-3-540-38941-5
eBook Packages: Springer Book Archive