Design of the kernel language for the Parallel Inference Machine

Kazunor Ueda, Takashi Chikayama

Research output: Contribution to journalArticle

66 Citations (Scopus)

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. 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.

Original languageEnglish
Pages (from-to)494-500
Number of pages7
JournalComputer Journal
Volume33
Issue number6
Publication statusPublished - 1990 Dec
Externally publishedYes

Fingerprint

Computer systems

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Hardware and Architecture
  • Information Systems
  • Software

Cite this

Design of the kernel language for the Parallel Inference Machine. / Ueda, Kazunor; Chikayama, Takashi.

In: Computer Journal, Vol. 33, No. 6, 12.1990, p. 494-500.

Research output: Contribution to journalArticle

Ueda, Kazunor ; Chikayama, Takashi. / Design of the kernel language for the Parallel Inference Machine. In: Computer Journal. 1990 ; Vol. 33, No. 6. pp. 494-500.
@article{22f1c6c101e54adfb45d476e95df9879,
title = "Design of the kernel language for the Parallel Inference Machine",
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. 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.",
author = "Kazunor Ueda and Takashi Chikayama",
year = "1990",
month = "12",
language = "English",
volume = "33",
pages = "494--500",
journal = "Computer Journal",
issn = "0010-4620",
publisher = "Oxford University Press",
number = "6",

}

TY - JOUR

T1 - Design of the kernel language for the Parallel Inference Machine

AU - Ueda, Kazunor

AU - Chikayama, Takashi

PY - 1990/12

Y1 - 1990/12

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0025554561&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0025554561&partnerID=8YFLogxK

M3 - Article

VL - 33

SP - 494

EP - 500

JO - Computer Journal

JF - Computer Journal

SN - 0010-4620

IS - 6

ER -