A concurrent object-oriented knowledge representation language Orient84/K: its features and implementation

Abstract

Orient84/K is an object oriented concurrent programming language for describing knowledge systems. In Orient84/K, an object is composed of the behavior part , the knowledge-base part , and the monitor part , in order to provide object-oriented, logic-based, demon-oriented , and concurrent-programming paradigms in the object framework. Every object is capable of concurrent execution in Orient84/K. In this paper, after describing an overview of Orient84/K, we will describe implementation issues in a concurrent object oriented language. Then, a new method for an efficient implementation of concurrent objects is proposed and formally described. A new virtual machine for Orient84/K is designed using this method, and some preliminary results of evaluation are presented.