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.
References
Weinreb, D. and Moon, D.: Flavors: Message Passing in the Lisp Machine, MIT A. I. Memo,No. 602 (1980).
Clark, K. L. and Gregory, S.: A Relational Language for Parallel Programming, Imperial College, Department of Computing, Research Report,DOC 8116 (1981).
Shapiro, E.Y.: A Subset of Concurrent Prolog and Its Interpreter, ICOT Technical Report,TR-003 (1983).
Author information
Authors and Affiliations
About this article
Cite this article
Hattori, T., Yokoi, T. Basic constructs of the SIM operating system. NGCO 1, 81–85 (1983). https://doi.org/10.1007/BF03037024
Issue Date:
DOI: https://doi.org/10.1007/BF03037024