登入選單
返回Google圖書搜尋
註釋Abstract: "The parallel inference machines are being developed in the Japanese FGCS project to provide the computational power required for constructing high performance knowledge information processing systems. To fully exploit the power of parallel inference machines, an operating system tuned to control highly parallel programs effectively is inevitable. The parallel inference machine operating system, PIMOS, is designed for this purpose. This paper describes an overview of the design of the PIMOS. The description language of the PIMOS, KL1, is based on a concurrent logic programming language, Flat GHC.