Design of the kernel language for the Parallel Inference Machine

Kazunor Ueda*, Takashi Chikayama

*この研究の対応する著者

研究成果: Article査読

72 被引用数 (Scopus)

抄録

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. Clarification 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 reorganise various existing notions related to programming and to invent new ones.

本文言語English
ページ(範囲)494-500
ページ数7
ジャーナルComputer Journal
33
6
DOI
出版ステータスPublished - 1990
外部発表はい

ASJC Scopus subject areas

  • コンピュータ サイエンス(全般)

フィンガープリント

「Design of the kernel language for the Parallel Inference Machine」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル