Execution kernel for parallel logic programming

An execution kernel model for implementing various parallel logic programming systems is presented. The execution kernel is based on the notion of communicating sequential logic programs. The parallel logic programming language called the kernel language (KL), designed on the basis of the kernel mod... View More