Distributed memory implementation of KLIC

New Generation Computing

Volumn 14, Issue 3, 1996, Pages 261-280

  Rokusawa, Kazuaki ^a,b   Nakase, Akihiko ^a,c   Chikayama, Takashi ^a,d  

^a Mita Kokusai Bldg   (Japan)

^b OKI ELECTRIC INDUSTRY CO   (Japan)

^c TOSHIBA CORPORATION   (Japan)

^d UNIVERSITY OF TOKYO   (Japan)

Author keywords

Concurrent Logic Programming; Distributed Garbage Collection; Distributed Unification; Generic Objects; Remote Reference Management; Weighted Reference Counting

Indexed keywords

COMPUTER OPERATING PROCEDURES; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; CONCURRENCY CONTROL; LOGIC PROGRAMMING; PARALLEL PROCESSING SYSTEMS;

CONCURRENT LOGIC PROGRAMMING; DISTRIBUTED GARBAGE COLLECTION; DISTRIBUTED UNIFICATION; GENERIC OBJECTS; REMOTE REFERENCE MANAGEMENT; WEIGHTED REFERENCE COUNTING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0029694735     PISSN: 02883635     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF03037484     Document Type: Article

References (22)

1. Ueda, K. and Chikayama, T., "Design of the Kernel Language for the Parallel Inference Machine," The Computer Journal, 33, 6, pp. 494-500, 1990.
2. Nakajima, K., Inamura, Y., Ichiyoshi, N., Rokusawa, K., and Chikayama, T., "Distributed Implementation of KL1 on the Multi-PSI/V2," Proc. International Conference on Logic Programming, pp. 436-451, 1989.
3. Hirata, K., Yamamoto, R., Imai, A., Kawai, H., Hirano, K., Takagi, T., Taki, K., Nakase, A., and Rokusawa, K., "Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1," Proc. International Conference on Fifth Generation Computer Systems, pp. 436-459, 1992.
4. Chikayama, T., "Operating System PIMOS and Kernel Language KL1," Proc. International Conference on Fifth Generation Computer Systems, pp. 73-88, 1992.
5. Nitta, K., Taki, K.,and Ichiyoshi, N., "Experimental Parallel Inference Software," Proc. International Conference on Fifth Generation Computer Systems, pp. 166-190, 1992.
6. Chikayama, T., Fujise, T., and Sekita, D., "A Portable and Efficient Implementation of KL1," Proc. International Symposium on Programming Language Implementation and Logic Programming, LNCS 844, pp. 25-39, 1994.
7. Fujise, T., Chikayama, T., Rokusawa, K., and Nakase, A., "KLIC: A Portable Implementation of KL1," Proc. International Symposium on Fifth Generation Computer Systems, pp. 66-79, 1994.
8. Carlsson, M., Widén, J., Andersson, J., Andersson, S., Boortz, K., Nilsson, H., and Sjöland, T., SICStus Prolog User's Manual, 1993.
9. Janson, S., Montelius, J., Boortz, K., Brand, P., Carlson, B., Haygood, R. C., Danielsson, B., and Haridi, S., "AGENTS User Manual," SICS Technical Report, 1994.
10. Ichiyoshi, N., Rokusawa, K., Nakajima, K., and Inamura, Y., "A New External Reference Management and Distributed Unification for KL1," New Generation Computing, pp. 159-177, 1990.
11. Foster, I. and Taylor, S., Strand: New Concepts in Parallel Programming, Prentice-Hall, 1989.
12. Foster, I. and Taylor, S., "Strand: A Practical Parallel Programming Tool," Proc. North American Conference on Logic Programming, pp. 497-512, 1989.
13. Ueda, K., "Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard," ICOT Technical Report, TR-208, 1986.
14. Shapiro, E., "Systems Programming in Concurrent Prolog," Logic Programming and its Applications (M. van Canegham and D.H.D. Warren, eds.), Albex Publishing Co., pp. 50-74, 1986.
15. Clark, K. and Gregory, S., "PARLOG: Parallel Programming in Logic," ACM Transactions on Programming Languages and Systems, 8, 1, pp. 1-49, 1986.
16. Saraswat, V. A., Kahn, K., and Levy, J., "Janus: A Step Towards Distributed Constraint Programming," Proc. North American Conference on Logic Programming, pp. 431-446, 1990.
17. Watson, P. and Watson, I., "An Efficient Garbage Collection Scheme for Parallel Computer Architectures," Proc. Parallel Architectures and Languages Europe, LNCS 259, Vol. II, pp. 432-443, 1987.
18. Bevan, D. I., "Distributed Garbage Collection Using Reference Counting," Parallel Computing, 9, 2, pp. 179-192, 1989.
19. Geist, A., Beguelin, A., Dongarra, J., Jiang, W., Manchek, R., and Sunderam, V., PVM 3 USER'S GUIDE AND REFERENCE MANUAL, Oak Ridge National Laboratory, Tennessee, 1994.
20. Murao, H. and Fujise, T., "Modular Algorithm for Sparse Multivariate Polynomial Interpolation and Its Parallel Implementation," Proc. International Symposium on Parallel Symbolic Computation, pp. 304-315, 1994.
21. Ishikawa, M., Toya, T., and Totoki, Y., "Parallel Application Systems in Genetic Information Processing," Proc. International Symposium on Fifth Generation Computer Systems, pp. 129-138, 1994.
22. Ichiyoshi, N., Morita, M., and Chikayama, T., "A Shared- Memory Parallel Extension of KLIC and Its Garbage Collection," Proc. FGCS'94 Workshop on Parallel Logic Programming, pp. 113-126, 1994.