A distributed implementation of flat concurrent prolog on multi-transputer environments
FCP is a general purpose concurrent logic programming language. We describe a distributed implementation of FCP on a multi-transputer environment based on the design of a parallel FCP machine.
Substantial design issues including the applied distributed reduction algorithm as well as the integration of the different communication models — the one for the application language and the one for the target architecture — are considered in detail. From our prototype implementation running on a Parsytec Supercluster multi-transputer system, we present some performance results.
KeywordsReduction Unit Deadlock Prevention Deadlock Detection Variable Owner Variable Member
Unable to display preview. Download preview PDF.
- Foster, I., and Taylor, S. 1990. Strand, New Concepts in Parallel Programming. Prentice-Hall.Google Scholar
- Glässer, U., and Lehrenfeld, G. 1990. A distributed implementation of Flat Concurrent Prolog on Transputer architectures. In Proceedings of the UNESCO Conference on Parallel Computing in Engeneering and Engeneering Education, Paris, pp. 181–185.Google Scholar
- May, D. 1990. Future Directions in Transputer Technology. In Proceedings of UNESCO Conference on Parallel Computing in Engineering and Engineering Education, Paris, pp. 193–203.Google Scholar
- Mierowsky, C., Taylor, S., Shapiro, E., Levy, J., and Safra, S. 1985. The design an implementation of Flat Concurrent Prolog. Tech. Rep. CS85-9, Dept. of Computer Science, The Weizmann Institute of Science, Rehovot, Israel.Google Scholar
- Parsec 1989. Par.C System: User's Manual and Library Reference Version 1.22. Parsec Developments, Leiden, The Netherlands.Google Scholar
- Silverman, W., Hirsch, M., Houri, A., and Shapiro, E. 1987. The Logix system user manual Version 1.21. In Concurrent Prolog: Collected Papers, Vol. 2, E. Shapiro, Ed. MIT Press, Cambridge, Mass., pp. 46–77.Google Scholar
- Takeuchi, A., and Furukawa, K. 1987. Parallel Logic Programming Languages. In Proceedings of the 3rd International Conference on Logic Programming, Lecture Notes in Computer Science, Vol 225, Springer-Verlag, New York, pp. 242–254Google Scholar
- Taylor, S., Safra, S., and Shapiro, E. 1987. A Parallel Implementation of Flat Concurrent Prolog. In International Journal of Parallel Programming, Vol. 15, No. 3, pp. 245–275Google Scholar
- Taylor, S. 1989. Parallel Logic Programming Techniques. Prentice-Hall.Google Scholar
- Ueda, K. 1989. Parallelism in Logic Programming. In Proceedings of the IFIP Congress, North-Holland Amsterdam, pp. 957–964.Google Scholar
- Warren, D. H. D. 1983. An Abstract Prolog Instruction Set. Technical Note 309, Artificial Intelligence Center, SRI.Google Scholar