Malenfant, J., Lapalme, G., Vaucher, G.: Objvprolog: Metaclasses in logic. In: Proc. Of ECOOP'89, Cambridge Univ. Press (1990) 257--269  Home/Search   Document Not in Database   Summary   Related Articles   Check

....conventional OO (see Section 3 for details) Attribute value changes. Zaniolo s approach enables no dynamics. ESP [Chi84] SPOOL [FH86] and Prolog [Mos90] make use of imperative assignments. Predominantly, states are revised exploiting the assert and retract built in predicates. In ObjVProlog [MLV89], semantically cleaner predicates assume and forget are made use of. Shapiro and Takeuchi, Mandala, and Vulcan [KTMB87] on its hidden underlying level) exploit streams. These lists of as yet unprocessed messages serve there as object revision identifiers. Conery s proposal and Objects as ....

....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 bodies in SCOOP and ....

J. Malenfant, G. Lapalme, and J. Vaucher. ObjVProlog: Metaclasses in logic. In ECOOP'89: Proc. Europ. Conf. on OOP, Nottingham, July 1989, pp 257-69. Cambridge, UK: Univ. Press, 1989.

.... ont influenc e nombre r ealisations parmi lesquelles: une architecture de types en Lisp permettant un meilleur controle de l impl ementation [Queinnec et Cointe 88] plusieurs impl ementations de CLOS [Graube 88] Attardi et al. 89] une extension a objets de Prolog controlant l ex ecution [Malenfant et al. 89] l architecture du noyau d un langage d acteurs agents [Ferber et Briot 88] et l architecture d un syst eme r eparti a objets [Yokote et al. 89] ObjVlisp a egalement et e abondamment utilis e par Pierre Cointe et moim eme pour enseigner la programmation par objets en DEA et en DESS a ....

J. Malenfant, G. Lapalme et J. Vaucher, ObjVProlog: Metaclasses in Logic, dans [ECOOP 89], pages 257-269.

....that KL is the equivalent to Prolog in this scenario, in its concern with practicality. 3.2 OO Prolog We apply this label to proposals that depart from (full) Prolog, again under the assumption that no significant conceptual conflict arises from this. The OO Prolog approach is represented by [26, 45, 48], and we will take [48] as our example. Much work [22, 46, 56, 57] has also been done on extending Prolog with object oriented notions. The motivations, strategies, techniques and goals are defined more from a programming language point of view than from a databaselanguage one. These proposals ....

.... database systems in which Prolog was used to implement such components as the data model, alternative query languages and optimisers [29, 31, 54] At the same time, researchers from outwith the database community were proposing various object oriented programming systems implemented in Prolog [26, 45, 56], in which the flat Prolog clause base was structured using object oriented mechanisms, while Prolog was retained as a manipulation language. It is from this broad, experimental environment that OO Prolog systems and OODBs implemented in Prolog have emerged. For OO Prolog systems, the triple ....

[Article contains additional citation context not shown here]

J. Malenfant, G. Lapalme, and J. Vaucher. ObjVProlog: Metaclasses in Logic. In Proceedings ECOOP, pages 257--269, 1989.

....problems programmers are confronted with. Finally using ClassTalk, under VisualWorks, we present an implementation of the design scheme we consider best suited to meet the requirements. 2 Browsing in explicit metaclass languages 2. 1 Explicit metaclass languages Explicit metaclass languages [1,8,9], as ObjVLisp, allow us to extend the language through development of heterogeneous class structures. Traditionnally, classes had only one method dictionary. By contrast, using an explicit metaclass language offers the possibility of defining a new metaclass, for example CombinationClass [2] ....

J. Malenfant, G. Lapalme and J. Vaucher. ObjVProlog: Metaclasses in Logic. Proc. of ECOOP'89, Cambridge U. Press, pp. 257-269.

....solves the potential infinite metaregression by making Class its own instance. ObjVLisp is a model that has been applied first to an object system written in Lisp, but it has also been applied to Scheme, to Smalltalk (Classtalk [BC89] and to an object oriented extension of Prolog (ObjVProlog [MLV89, MLV90] 3.3.2 Towards full reflection With its object to the bottom principle, Smalltalk pionnered a design principle basic to reflection, which is that everything should be expressed in the terms of the language itself. On the other hand, Smalltalk was not designed with the aim of making ....

J. Malenfant, G. Lapalme, and J. Vaucher. ObjVProlog: Metaclasses in Logic. In Proc. of ECOOP'89, pages 257--269. Cambridge U. Press, July 1989.

No context found.

Malenfant, J., Lapalme, G., Vaucher, G.: Objvprolog: Metaclasses in logic. In: Proc. Of ECOOP'89, Cambridge Univ. Press (1990) 257--269

No context found.

Malenfant, G. Lapalme and J. Vaucher, ObjVProlog: Metaclasses in Logic, ECOOP'89, July 1989.

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