Title :
Concurrency and communication in Delta Prolog
Author :
Pereira, L. Moniz ; Monteiro, L.F. ; Cunha, J.C. ; Aparicio, J.N.
Author_Institution :
Univ. Nova de Lisboa, Portugal
Abstract :
Describes and exemplifies the logic programming language Delta Prolog, an extension to Prolog to include AND-concurrency and interprocess communication. Besides its declarative semantics, its operational semantics, comprising distributed backtracking, is especially emphasized. The extension is obtained, at the language level, by introducing three additional goal types: splits, events, and choices. At the implementation level, the extension is provided by code in Prolog and C. A small number of core primitives facilitates portability. Currently Delta-Prolog supports distributed programs through the asynchronous execution of multiple instances of an extended C-Prolog
Keywords :
PROLOG; logic programming; multiprocessing systems; parallel programming; Delta Prolog; concurrency; distributed backtracking; distributed programs; interprocess communication; logic programming language;
Conference_Titel :
Design and Application of Parallel Digital Processors, 1988., International Specialist Seminar on the
Conference_Location :
Lisbon
Print_ISBN :
0-85296-366-1