The design and implementation of an OR-parallel logic programming system

Page 149

139 1986. 17. Doug DeGroot, "Restricted And-Parallelism," Proceedings of the International Converence on Fifth Generation Computer Systems, 1984. 18. Tep Dobry, "A Prolog Machine Architecture," Technical Note, Computer Science Division, University of California, Berkeley, July 1984. 19. D.S. Warren, "Efficient Prolog Memory Management for Flexible Control Strategies," Proceedings of the 1984 International Symposium on Logtc Programming, IEEE, February 1984, pp. 198-202. 20. John Gabriel, Tim Lindholm, E.L. Lusk, and R.A. Overbeek, "A Tutorial on th Warren Abstract Machine for Computational Logic,'' Technical Report ANL-84-84, Argonne National Laboratory, June 1985. 21. Steven Gregory, "Design, Application and Implementation of a Parallel Logic Programming Language," Ph.D. dissertation, Imperial College of Science and Technology, September 1985. 22. Dale H. Grit and Rex L. Page, "Deleting Irrelevant Tasks in an Expression­Oriented Multiprocessor System," ACM Transactions on Programming Lan­guages and Systems, Vol. 3, No. 1, January 1981, pp. 49-59. 23. Bogumil Hausman, Andrzej Ciepielewski and Seif Hartdi, OR-parallel Prolog Made Efficient on Shared Memory Multiprocessors. 24. Manuel V. Hermenegildo, "An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel," Ph.D. dissertation, University of Texas at Austin, August 1986. 25. W. Daniel Hillis, The Connection Machine, The MIT Press, 1985. 26. CA.R Hoare, "Communicating Sequential Processes," CACM, Vol. 21, No. 8, August 1978, pp. 666-677. 27. T. Johnsson, "Efficient Compilation of Lazy Evaluation," Proceedings of the ACM Converence on Lisp and Functional Programming, June 1984. 28. RA. Kowalski, "Predicate Logic as a Programming Language," Information Processing 74, IFIPS, 1974, pp. 569-574. 29. Robert Kowalski, Logic for Problem Solving, North-Holland, Artificial Intel­ligence Series, 1979. 30. Kouichi Kumon, Hideo Masuzawa, Akihiro Itashiki, Ken Satoh and Yukio Sohma, "Kabu-wake: A New Parallel Inference Method and its Evaluation," Proceedings ofCompCon '86, 1986, pp. 168-172. 31. Peyyun Peggy Li, "A Parallel Execution Model for Logic Programming," Ph.D. dissertation, California Institute ofTechnology, 1986. 32. Gary Lindstrom, "OR-Parallelism on Applicative Architectures," Proceedings of the 2nd International Conference on Logic Programming, July 1984, pp. 159-170. 33. Andy Lowry, Stephen Taylor, and Salvatore J. Stolfo, "LPS Algorithms," Proceedings of the International Converence on Fifth Generation Computer Systems, 1984, pp. 436-448. 34. Heikki Mannila and Esko Ukkonen, ''Time-Stamped Term Representation for Implementing Prolog," Proceedings of the Symposium on Logic Programming, IEEE, 1986, pp. 159-165.