L. Pereira and R. Nasr. Delta-prolog: A distributed logic programming language. In proc. of International Conference on Fifth Generation Computer systems, pages 283--291. ICOT, 1984.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....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 ....

R. Nasr L. M. Pereira. Delta Prolog: a distributed logic programming language. In FGCS, Tokyo, Japan, 1984.

....communicate through explicit message passing. A number of object oriented extensions to Prolog have been proposed[4] As was discussed in section 4.8, the extensions we made in COCA, however, are no more than syntactical sugars. They do not have any impact on the language semantics. Delta Prolog[25] augmented Prolog with CSP like communication primitives. But it is not reactive, since it may backtrack on communication[31] 30] studied the embedding of Linda in a CLP language. Concurrent constraint programming[28] embodies explicit mechanisms for communication and synchronization consisting ....

....the embedding of Linda in a CLP language. Concurrent constraint programming[28] embodies explicit mechanisms for communication and synchronization consisting of two kinds of actions, ask and tell. Semantics about concurrency and communication in logic has been well studied in the literature, e.g. [25], 2] and [29] 8 CONCLUSIONS This language is not completely new. It has language elements from Prolog, concurrent logic programming languages, process algebras, Linda, and object oriented programming languages. It also has concepts such as atomic sequence (transaction) and events. To better ....

L. M. Perira and R. Nasr. Delta-Prolog: a distributed logic programming language. In Proceedings of the International Conference on Fifth Generation Computer Sustems, Tokyo, 1984

....the logic language DeltaProlog, that being based on Hoare s CSP supports a parallel model very different from that of the stream based parallel logic languages. 5.1 DeltaProlog Prolog is based on first order logic; time related events are not dealt satisfactorily in such a framework. DeltaProlog [19] was introduced using an extension of first order logic called Distributed Logic (DL) This is a formal framework of concurrent logic programming that extends the pure Horn clause logic with the time related notion of event, a communication between exactly two processes. DeltaProlog is actually ....

Pereira, L., and Nasr, R. DeltaProlog: a Distributed Logic Programming Language. Proc. Int. Conf. on 5th Generation Computer Systems, ICOT, 1984, 283-291. 32

....scheduling is done dynamically at run time, cost measures are not possible. Explicit logic languages are those in which programmers must specify the parallelism explicitly [175] They are also called concurrent logic languages. Examples of languages in this class are PARLOG [102] Delta Prolog [162], Concurrent Prolog [174] GHC[195] and Strand [90] Concurrent logic languages can be viewed as a new interpretation of Horn clauses, the process interpretation. According to this interpretation, an atomic goal C can be viewed as a process, a conjunctive goal C1, Cn as a process ....

L.M. Pereira and R. Nasr. Delta-Prolog: A distributed logic programming language. In Proceedings of the International Conference on Fifth Generation Computer Systems, pages 283--291, Tokyo, November 1984.

....because the concept of streams can well be adapted to input and output. Large data structures such as mutable arrays and databases can also be logically and efficiently handled using transaction streams as the interface [Ueda and Chikayama 1984] 8.5. Comparison with Delta Prolog Delta Prolog [Pereira and Nasr 1984] is an extension of Prolog which allows multiple processes. Communication and synchronization are realized using the notion of an event. The underlying logic which explains the meaning of events is called Distributed Logic. 15 One of the differences between Delta Prolog and GHC is that ....

Pereira, L. M. and Nasr, R. [1984] Delta-Prolog: A Distributed Logic Programming Language. In Proc. Int. Conf. on Fifth Generation Computer Systems 1984, Institute for New Generation Computer Technology, Tokyo, pp. 283--291.

....are global databases in which objects can add or extract terms. A sender can add a message (term) into the database, and the receiver suspends until the required message is available. Objects in other languages communicate synchronously by means of a rendezvous mechanism (e.g. Delta Prolog [Pereira 84] This mechanism allows messages to be transferred between two objects by suspending both objects before the message transfer can take place. Inheritance in these kinds of languages is encoded, as in the committed process view, by passing an unrecognised message to an inherited object. The ....

Pereira, L.M., and Nasr, R. 1984. Delta Prolog: a distributed logic programming language, In Int. Conf. on 5th generation computer systems, ICOT, Tokyo, Japan, November, pp.283-291.

....in this category are the family of Concurrent Logic Programming languages [39] Andorra [30] and Strand [24] ii. Coarse grain parallel languages evaluate in parallel multiple sequential programs, with some mechanisms being provided for inter process communication. Examples are Delta Prolog [36], PMS Prolog [44] and Vienna Parallel Logic [33] these can be considered as languages that extend Prolog with some standard communication primitives. In this class there are also two systems that were inspired by Linda: both Multi Prolog [21, 22] and Prolog D Linda [41, 40] are Prolog extensions ....

L. Pereira and R. Nasr. DeltaProlog: A distributed logic programming language. In Proc. Int. Conf. on Fifth Generation Computer Systems, pages 283--291, 1984.

....behalf an operation is being executed rather than the textual module in which the self reference occurs. This means that a self message is always tried against methods in the class at the bottom of the inheritance graph for a particular invocation. Some languages disallows self communication, e.g. [117]. Self reference may be represented as an extra argument in every message [7] This extra term will contain the name of the initially invoked object, and then if a self message is necessary, the corresponding goal will use this name to invoke this object. In concurrent logic programming, ....

Pereira L., Nasr R., Delta Prolog: A Distributed Logic Programming Language, FGCS'84, Proceeding, ICOT, Tokyo, 1984.

....The high level layer supports a more abstract view of the distributed or parallel system, such that application decomposition and forms of cooperative computing can be expressed without regard for the low level details of real execution. Distributed logic programming languages such as Delta Prolog [1] [2] or DLP [12] are examples of high level models that can be implemented on top of the low level layer. In summary our approach aims to establish a well defined system level layer accessible from Prolog programs, and provide that layer as a basic platform for the user to develop his own ....

L.M. Pereira, R. Nasr. Delta Prolog: a distributed logic programming language. FGCS, Tokyo, Japan, 1984.

....feature. The absence of backtracking is particularly felt in applications that rely on search, which is in general true for knowledge based systems. A parallel logic programming 1. Introduction 3 language that does support backtracking over the results of a communication is Delta Prolog [Pereira and Nasr, 1984]. However Delta Prolog lacks any object oriented features and supports a communication mechanism that is less powerful method call by rendezvous. For non concurrent examples of extending Prolog with object oriented features we refer to [Zaniolo, 1984] or [Yokoi, 1986] A prototype of DLP has been ....

L.M. Pereira and R. Nasr, Delta Prolog: A distributed logic programming language, in: Proc. FGCS, ICOT (1984) pp. 283-231

....at last Future Developments The approach could be used for logic programming and theorem proving in general. It can be particularly important to explore its use in distributed systems, where it is hard to employ traditional sequential debugging tools. We intend to do that for Delta Prolog [Pereira Nasr 84, Pereira et al. 86] At present, it is being made more congenial and helpful through integration into a C Prolog Emacs multi window environment [Abreu 85] including for example the highlighting of wrong terms or uncovered goals in detected bugs. It will unburden the user in his role as oracle ....

Pereira, L.M.; Nasr, R. Delta Prolog: a distributed logic programming language, in "Proc. of 1984 Int. Conf. on 5th Generation Computer Systems", ICOT

....failed one. It does so only for those segments that have become related to the failing one in interaction points. The strategy uses a form of intelligent backtracking in the selection of the segment where alternatives will be sought such that segments that would repeat failure are ignored ( BP84] [PN84], Cun88] First, a centralized implementation of this strategy was experimented relying upon a global data structure to keep the information on the segments in the current derivation. This may be an interesting approach for shared memory multiprocessors, but not for distributed memory ....

L.M. Pereira and R. Nasr. Delta-Prolog: a distributed logic programming language. In Fifth Generation Computer Systems, 1984.

No context found.

L. Pereira and R. Nasr. Delta-prolog: A distributed logic programming language. In proc. of International Conference on Fifth Generation Computer systems, pages 283--291. ICOT, 1984.

No context found.

Pereira, L. and Nasr, R. (1984). Delta-prolog: A distributed logic programming language. In Proc. of the International Conference on Fifth Generation Computer Systems, pages 283--291, Tokyo. Institute for New Generation Computer Technology (ICOT).

No context found.

L. M. Perira and R. Nasr. Delta-Prolog: a distributed logic programming language. In Proceedings of the International Conference on Fifth Generation Computer Sustems,Tokyo, 1984

No context found.

Pereira, L. and Nasr, R. (1984). Delta-prolog: A distributed logic programming language. In Proc. of the International Conference on Fifth Generation Computer Systems, pages 283--291, Tokyo. Institute for New Generation Computer Technology (ICOT).

No context found.

Pereira, L. M. and Nasr, R. I., "Delta-PROLOG: A Distributed Logic Programming Language", Proceedings of the Intl. Conf. on 5th Gen. Computer Systems, Japan, 1984.

No context found.

Pereira, L. and Nasr, R. (1984). Delta-Prolog: A Distributed Logic Programming Language. In International Conference On Fifth Generation Computer Systems, pages 283--291. Institute for New Generation Computer Technology (ICOT).

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