The Operational Semantics of Kernel Language KLND

This paper presents the operational semantics of the Kernel Language KLND and mainly defines the meaning of its programs which execute AND-parallelly or OR-parallelly.Although there is no explicit communication facilities in the language to keep the logic programming style,all the necessary communication events,including their directions and contents,for executing the programs parallelly have been defined in the semantics.