Basic constructs of the SIM operating system |
| |
Authors: | Takashi Hattori Toshio Yokoi |
| |
Affiliation: | 1. Institute for New Generation Computer Technology, ICOT Research Center, Mita Kokusai Bldg. 21F, 4-28 Mita 1-chome, Minato-ku, 108, Tokyo
|
| |
Abstract: | The basic constructs of SIMPOS (Sequential Inference Machine Programming and Operating System) are explained. SIMPOS is an operating system for a super-personal computer (SIM), based on logic programming language (a modified Prolog, called KL0). Our design principle is simplicity both in concept and structure. The entire system will be constructed using these basic constructs. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|