Design of the Kernel Language for the Parallel Inference Machine (1990)
| Citations: | 46 - 9 self |
BibTeX
@MISC{Ueda90designof,
author = {Kazunori Ueda and Takashi Chikayama},
title = {Design of the Kernel Language for the Parallel Inference Machine},
year = {1990}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We review the design of the concurrent logic language GHC, the basis of the kernel language for the Parallel Inference Machine being developed in the Japanese Fifth Generation Computer Systems project, and the design of the parallel language KL1, the actual kernel language being implemented and used. The key idea in the design of these languages is the separation of concurrency and parallelism. Clarication of concepts of this kind seems to play an important role in bridging the gap between parallel inference systems and knowledge information processing in a coherent manner. In particular, design of a new kernel language has always encouraged us to re-examine and reorganize various existing notions related to programming and to invent new ones.
