J.C. Cunha, P.D. Medeiros, M.B. Carvalhosa, and L.M. Pereira. Delta-Prolog: A distributed logic programming language and its implementation on distributed memory multiprocessors. In P. Kacsuk and M.J. Wise, editors, Implementations of Distributed Prolog, pages 335--356, John Wiley,Chichester, 1992.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....disjunction. In this case, the set of parallel processes must terminate successfully in order to make the conjunction or disjunction terminate successfully. Data shared between the two components of a conjunction or a disjunction require extra synchronization. The process creation of Delta Prolog [6, 14] is based on and parallelism. PMS Prolog [18] has a rather unusual mechanism of process creation: it forks a list of processes, and then waits until the child processes have all terminated before resuming. Forking one process is comparable to executing a remote procedure call. CS Prolog [9] ....

....later on. The semantics of buffer overflow might vary: failure, suspension, error messages, 3.3 Data ordering This issue is related to buffered communication. It defines the order in which data is stored in (removed from) the buffer. This can be ffl ordered: e.g. first in first out [6], last in first out, lexically sorted, chronologically sorted [8] ffl partly ordered, i.e. the messages generated by a sequential process are ordered, but there is no order between messages generated by two processes running in parallel. ffl no defined order, i.e. the messages are put in a ....

[Article contains additional citation context not shown here]

J.C. Cunha, P.D. Medeiros, M.B. Carvalhosa, and L.M. Pereira. Delta-prolog: A distributed logic programming language and its implementation on distributed memory multiprocessors. In Kacsuk and Wise [12], pages 335--356.

....a higher abstraction that captures distributed logic programs in a declarative way. 1 Introduction A new paradigm of Process based logic programming languages is emerging from a long standing and slowly background evolution. Some representatives of Process based Prolog languages are Delta Prolog [CMCP92], CS Prolog [FF92] and PMS Prolog [WJH92] The roots of these languages reaches back to the middle eighties. Recent blackboard oriented languages like Shared Prolog [BC91] belong to process based languages as well. Common problem of process based logic languages is that only procedural meaning can ....

J. C. Cunha, P. D. Medeiros, M. B. Carvalhosa, and L. M. Pereira. Delta Prolog: A Distributed Logic Programming Language and its Implementation on Distributed Memory Multiprocessors. In Kacsuk and Wise [KW92], pages 335--356.

....and distributed memory ones. Besides AND , OR , and stream AND parallel execution of Prolog programs, there emerged a so called process based program execution with explicit process creation and explicit communication [3] Some representatives of process based Prolog languages are Delta Prolog [4, 5], CS Prolog [6, 7, 8] and PMS Prolog [9] The roots of these languages reaches back into the middle eighties. Even recent blackboard oriented languages (e.g. Shared Prolog [10] and Multi Prolog [11] and coordination languages (e.g. Vienna Parallel Logic [12] do belong to process based ....

J. C. Cunha, P. D. Medeiros, M. B. Carvalhosa, and L. M. Pereira. Delta Prolog: A Distributed Logic Programming Language and its Implementation on Distributed Memory Multiprocessors. In Kacsuk and Wise [3], pages 335-- 356.

.... Prolog, PVM, X Window, evolutionary, message passing, process based 1 Introduction Interest in process based logic programming systems featuring explicit communication and distributed execution has recently revived [2] 15] although research has been continuing in this area over the years [6], 8] This type of approach to developing parallel logic programming systems is not as promising for exploiting parallelism as more specialised approaches such as [11] However, it substantially reduces the effort required to build such systems, and avoids making the systems architecture so ....

J.C. Cunha, P.D. Medeiros, M.B. Carvalhosa, and L.M. Pereira. Delta prolog: A distributed logic programming language and its implementation on distributed memory multiprocessors. In P. Kacsuk and M.J. Wise, editors, Implementations of Distributed Prolog, pages 335--356. John Wiley, Chichester, 1992.

....before running the system this is a clear limitation in contrast with PVM dynamic configuration, communication and process control features. 7. 4 Other Distributed Logic Programming Languages The first distributed logic programming language to appear in the literature is DeltaProlog [LMP84, CCMP92]. Delta Prolog supports a declarative distributed logic programming model which requires distributed backtracking mechanisms which are difficult to implement. Other distributed logic programming systems such as PMS Prolog[WJH92] and Shared Prolog[BC91] elude the need for distributed backtracking ....

J. C. Cunha, M. B. Carvalhosa, P. Medeiros, and L. M. Pereira. Delta Prolog: A distributed logic programming language and it's implementation. In P. Kacksuk and Michael Wise, editors, Implementations of Distributed Prolog, chapter 15, pages 335--356. John Wiley & Sons, 1992.

No context found.

J.C. Cunha, P.D. Medeiros, M.B. Carvalhosa, and L.M. Pereira. Delta-Prolog: A distributed logic programming language and its implementation on distributed memory multiprocessors. In P. Kacsuk and M.J. Wise, editors, Implementations of Distributed Prolog, pages 335--356, John Wiley,Chichester, 1992.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC