K. Ueda. Guarded Horn Clauses. PhD thesis, Dept of Information Engineering, University of Tokyo, Tokyo, Japan, 1986. 23 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Logic Programming with Focusing Proofs in Linear Logic - Andreoli (1992) (132 citations) (Correct)
....A sequent system, which describes the correct inferences in proofs, can therefore be viewed as a formal specification of allowed process state transitions. This process view of logic programming has already been taken in such systems as Concurrent Prolog [30, 29] Parlog [13, 15] or GHC [31]. However, these languages, based on Classical Logic (more precisely, its fragment restricted to Horn clauses) offer a very limited structure for representing process states. Indeed, a state must be encoded as a simple atom, i.e. a first order term. It has been shown in [3, 4, 7, 6] that this ....
K. Ueda. Guarded Horn Clauses. PhD thesis, Dept of Information Engineering, University of Tokyo, Tokyo, Japan, 1986. 23
Communication as Fair Distribution of Knowledge - Andreoli, Pareschi (1991) (31 citations) (Correct)
....of computation. The computational model for LO presented in [5, 4, 3] has dealt with interobject communication simply by importing the technique of shared logical variables directly from concurrent logic programming languages based on Horn logic, like Concurrent Prolog [26] Parlog [12] and GHC [29]. However, such a solution is to be considered as temporary and not completely satisfactory mainly for the following (strictly related) reasons: i) It is committed to a specific implementation choice (the use of unification of logical variables in order to achieve communication) and thus defies ....
K. Ueda. Guarded Horn Clauses. PhD thesis, Dept of Information Engineering, University of Tokyo, Tokyo, Japan, 1986.
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (1991) (217 citations) (Correct)
....extension of Prolog, which we call Linear Objects (henceforth LO) with the aim of providing a logic programming framework capable of accommodating the main features of object oriented programming. Our starting point is the approach, originally introduced in concurrent logic programming languages [17, 29, 31, 32], which identifies objects with proof processes and object states with arguments occurring in the goal of a given process. From a logic programming point of view, this approach provides a clean, side effect free account of the dynamic behavior of objects in terms of the only dynamic entity of ....
....on Herbrand interpretations. 5 Related Work The logic programming community has produced many contributions in the direction of object oriented programming. Among the efforts which have been focusing on the dynamic aspects of object oriented programming (i.e. change of state) we have mentioned [11, 17, 19, 29, 30, 31, 32]; efforts which have been focusing on the static aspects (i.e. inheritance) of object oriented programming are described in [2, 9, 12, 16, 21, 33] The framework presented here should provide a theoretical basis for the integration of these two traditions. 10, 28, 8] provide also extensions of ....
K. Ueda. Guarded Horn Clauses. PhD thesis, Dept of Information Engineering, University of Tokyo, Tokyo, Japan, 1986.
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (217 citations) (Correct)
....extension of Prolog, which we call Linear Objects (henceforth LO) with the aim of providing a logic programming framework capable of accomodating the main features of object oriented programming. Our starting point is the approach, originally introduced in concurrent logic programming languages [12, 22, 24, 25], which identifies objects with proof processes and object states with arguments occurring in the goals of a given process. From a logic programming point of view, this approach provides a clean, side effect free account of the dynamic behavior of objects in terms of the only dynamic entity of ....
....objects encoded as contexts. 5 Related Work The logic programming community has produced many contributions in the direction of object oriented programming. Among the efforts which have been focusing on the dynamic aspects of object oriented programming (i.e. change of state) we have mentioned [6, 12, 14, 22, 23, 24, 25]; efforts which have been focusing on the static aspects (i.e. inheritance) of object oriented programming are described in [1, 4, 7, 11, 26] The framework presented here should provide a theoretical basis for the integration of these two traditions. 5] provides also an extension of Prolog in ....
K. Ueda. Guarded Horn Clauses. PhD thesis, Dept of Information Engineering, University of Tokyo, Tokyo, Japan, 1986.
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