DocumentCode
3320082
Title
Execution kernel for parallel logic programming
Author
Kochut, Krzysztof J.
Author_Institution
Dept. of Comput. Sci., Georgia Univ., Athens, GA, USA
fYear
1989
fDate
9-12 Apr 1989
Firstpage
491
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Southeastcon '89. Proceedings. Energy and Information Technologies in the Southeast., IEEE
Conference_Location
Columbia, SC
Type
conf
DOI
10.1109/SECON.1989.132427
Filename
132427
Link To Document