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 model, is also presented. A complete KL program is viewed as a collection of cooperating logic programming tasks. Communication and synchronization is handled by message passing. Goals can be activated in parallel.<
>