Vaucher, J; Lapalme, G; Malenfant, J. SCOOP: Structured Concurrent Object-Oriented Prolog. Proceedings of the European Conference on Object-Oriented Programming, 1988. pp.191-211. (LNCS 322).  Home/Search   Document Not in Database   Summary   Related Articles   Check

....are active, executing continually. Orient84 K [IT86] Supports Smalltalk like object oriented programming. In addition objects execute concurrently in a monitor like fashion and object methods can be written in a language similar to Prolog. Each object has its own, local knowledge base. SCOOP [VLM88] Prolog extended with a block structured syntax and classes. Parallelism is provided by distinguishing betweem static entities (objects) and dynamic computing agents(processes) The dynamic Prolog clauses are used to represent object state variables, while the static clauses represent class ....

....state changes are represented by the reincarnation of an object with new parameters in a way similar to tail recursion. The objects instantiated are active, executing continually. Name References Implementation Concurrent Prolog [ST83] Language Orient84 K [IT86] Language and Kernel SCOOP [VLM88] Implemented on top of Prolog Vulcan [KTMB86, KTMB87] Preprocessor for concurrent Prolog Table 2.19: Implementations combining the distributed, logic and object oriented paradigms Name Characteristics Control BR DT IN O Concurrent Prolog # # # # # # # # # SLD Orient84 K # # # # # # # ....

Jean Vaucher, Guy Lapalme, and Jacques Malenfant. SCOOP: Structured concurrent object oriented prolog. In S. Gjessing and K. Nygaard, editors, ECCOP '88 Europen Conference on Object-Oriented Programming, pages 191--211, Oslo, Norway, August 1988. Springer-Verlag. Lecture Notes in Computer Science 322.

....mental attitudes to be represented. Logic programming is an obvious support for representing and inferring relationships among mental attitudes such as intentions, goals and beliefs, but it presents several limitations in the definition of action capabilities. Certainly, multi paradigm languages [5,7,8,9,12] that integrate logic and objectoriented paradigms can guide the definition of a language for supporting multi agent development. The old multi paradigm languages have pointed to the management of both modularization and inference of knowledge; modularization provided by objectoriented languages ....

....components together. These can be classified into two main focus: i) the incorporation of modularization to logic languages and (ii) object oriented languages manipulating logic clauses. There are several proposals for modularizing logic languages (i.e. CPU [8] SPOOL [5] LOO [9] and SCOOP [12]) These languages show different alternatives to incorporate modularity from object orientation view into logic languages. These languages define classes as a set of clauses, where generally each clause represents a method. Inheritance is managed under three different interpretations. Some ....

J. Vaucher, G. Lapalme, and J. Malenfant. Scoop: Structured Concurrent Object-Oriented Prolog. In Proceedings of ECOOP'88 European Conference on Object-Oriented Programming, pages 191-211. Springer-Verlag, August 1988.

....explicit send and receive commands. Whereas the send command is nonblocking, the receive command will block until a message has been received from the channel specified as parameter. fault tolerance. Availability: Scoop has been implemented in Prolog on a single processor machine. References: [214] 2.92 Smalltalk 80 Developer: Description: oo. memory model. parallelism. By sending a fork message to a block of expressions a thread is started that executes these expressions concurrently. scheduling. Special processor object that implements a FIFO scheduling policy for threads. ....

Jean Vaucher, Guy Lapalme, and Jacques Malenfant. SCOOP -- structured concurrent objectoriented prolog. In ECOOP'88 -- European Conf. on Object-Oriented Programming, pages 191--210, Oslo, Norway, August 15--17, 1988. Springer-Verlag Berlin, Heidelberg, New York.

....n u o b Scheduling Predicates [173, 174] Phi Phi Delta Delta H H A A Phi Phi Delta Delta H H A A y t i v i t c a y r a d n u o b http: www.dsg.cs. tcd.ie research sos.html Alexis Donnelly Gamma donnelly cs.tcd.ie Se an Baker Gamma baker cs.tcd.ie Scoop [231] Phi Phi Delta Delta H H A A Phi Phi Delta Delta H H A A m y t i v i t c a y r a d n u o b Smalltalk 80 [93] Phi Phi Delta Delta H H A A Phi Phi Delta Delta H H A A m y t i v i t c a y r a d n u o b Sos [173] Phi Phi Delta ....

Jean Vaucher, Guy Lapalme, and Jacques Malenfant. SCOOP -- structured concurrent object-oriented prolog. In ECOOP'88 -- European Conf. on Object-Oriented Programming, pages 191--210, Oslo, Norway, August 15--17, 1988. Springer-Verlag Berlin, Heidelberg, New York.

....been made for modularizing logic programs. Several object oriented languages have been designed to incorporate modularity to logic languages. Generally, these languages have a Prolog like syntax. As example, the languages CPU [Mello, 1987] SPOOL [Fukunaga, 1986] LOO [Marcarella, 1995] and SCOOP [Vaucher, 1988] can be mentioned. These languages show different alternatives to incorporate modularity in logic programming from the use of object orientation concepts. These languages define classes as a set of clauses, where each clause is a method. Inheritance is managed in two different ways for these ....

....alternative in which the subclass redefine clauses with the same name, but it can not add clauses with the same name. The examples above show two possibilities of combining logical modules by means of inheritance: the first alternative was adopted by SPOOL [Fukunaga, 1986] and the second by SCOOP [Vaucher, 1988]. Both combinations of logical formulae are useful in the programming of object oriented applications. Extension of object oriented programming with concepts of logic programming The object oriented programming has certain advantages over other paradigms. These advantages are information hiding, ....

J. Vaucher, G. Lapalme, and J. Malenfant, Scoop: Structured Concurrent Object-Oriented Prolog. In Proc. of ECOOP'88 European Conference on Object-Oriented Programming, pages 191-211. Springer-Verlag, August 1988.

....implies that attributes are dynamic, and as the most dynamic thing in generally static Prolog is predicates, there is ground for further generalizations. Attributes are dynamic, methods are static (and both are predicates) This is so in many mergers, and it is specifically emphasized in SCOOP [VLM88] and ObjVProlog [MLV89] Now not only may an attribute be multivalued (the predicate be non functional only LOCO [LVV89] has a construct for requiring univaluedness) but it can also be parametric (the predicate has input argument places) and conditional (the definition clauses do have ....

J. Vaucher, G. Lapalme, and J. Malenfant. SCOOP: Structured Concurrent Object-Oriented Prolog. In ECOOP'88: Proc. Europ. Conf. on OOP, Oslo, Aug 1988, pp 191-211. Berlin: Springer-Verlag, 1988. (LNCS, 322).

.... 1987; Older Vellino, 1990; Saraswat, 1989; Van Hentenryck, 1989; Voda, 1988) Structured object centered knowledge representations have been incorporated into model based expert systems (Brown Chandrasekaran, 1986; Davis, 1984) Object oriented principles are being adapted to LP (Conery, 1988; Vaucher et al. 1988; Zaniolo, 1984) Rule formalisms have been extended with structural representations in order to make the inherent organization of the knowledge explicit. Structural representations are variously characterized but generally derive from the early frame systems proposed by Minsky (1975) Most adopt ....

....instance variables change over time to represent the progress of state of the object. These two views of programming need to be better reconciled in order to fully exploit the marriage of CLP and object programming. Other researchers are also pursuing this problem (for instance, Conery, 1988; Vaucher, 1988). Acknowledgements The author would like to acknowledge support for this research from the Centre for Systems Science at SFU, the Science Council of British Columbia, and the Natural Sciences and Engineering Research Council of Canada. The staff of the SFU Expert Systems Laboratory including Miron ....

J. Vaucher, G. Lapalme, and J. Malenfant(1988) Scoop: Structured concurrent object oriented prolog, in proc.

....inheritance is allowed. Inheritance is overriding. Self reference is not allowed. The compiler attempts to reduced the number of asserts and retracts by analyzing message passing and collecting together sets of state accesses and changes. Structured Concurrent Object Oriented Prolog(SCOOP) [147] is an experimental language implemented in Prolog that tries to combine the best of logic, object oriented and concurrent programming. Classes represent independent Prolog programs. Some clauses are immutable and fixed for all objects; but others, can be asserted and retracted by the object. The ....

Vaucher J., Lapalme G., Malenfant J. SCOOP: Structured Concurrent ObjectOriented Prolog, ECOOP, Proceeding, 1988.

No context found.

Vaucher, J; Lapalme, G; Malenfant, J. SCOOP: Structured Concurrent Object-Oriented Prolog. Proceedings of the European Conference on Object-Oriented Programming, 1988. pp.191-211. (LNCS 322).

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