Basic constructs of the SIM operating system
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.
KeywordsVariable Object Parent Process Component Class Logic Programming Language Basic Construct
Unable to display preview. Download preview PDF.
- 1).Weinreb, D. and Moon, D.: Flavors: Message Passing in the Lisp Machine, MIT A. I. Memo,No. 602 (1980).Google Scholar
- 2).Clark, K. L. and Gregory, S.: A Relational Language for Parallel Programming, Imperial College, Department of Computing, Research Report,DOC 8116 (1981).Google Scholar
- 3).Shapiro, E.Y.: A Subset of Concurrent Prolog and Its Interpreter, ICOT Technical Report,TR-003 (1983).Google Scholar