Title :
Execution kernel for parallel logic programming
Author :
Kochut, Krzysztof J.
Author_Institution :
Dept. of Comput. Sci., Georgia Univ., Athens, GA, USA
Abstract :
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
Keywords :
high level languages; logic programming; parallel programming; supervisory programs; complete KL program; cooperating logic programming tasks; execution kernel model; kernel language; kernel model; message passing; parallel logic programming language; parallel logic programming systems; sequential logic programs; synchronization; Application software; Computer languages; Computer science; Concurrent computing; Encoding; Kernel; Logic design; Logic programming; Message passing; Parallel algorithms;
Conference_Titel :
Southeastcon '89. Proceedings. Energy and Information Technologies in the Southeast., IEEE
Conference_Location :
Columbia, SC
DOI :
10.1109/SECON.1989.132427
