E Laenens, Philips Applications & Software Services, Eindhoven, The Netherlands, D. Vermeir, B. Verdonk, Dept. of Computer Science, Univ. of Antwerp, Belgien, LOCO, a Logic-based Language for Complex Objects. I Proc. of ESPRIT'89 Technical Conf., Project 2424, pp.604-616 , 1989 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Representing Objects as Modules in Deductive Databases - Freitag (1994) (1 citation) (Correct)
....We essentially rely on the general definition of an object data model as presented in [1] However, in this paper we do not discuss types. We consider classes as well as their instances as objects that are implemented as (a collection of) modules with globally visible invariant names. As in [2, 8, 7, 9], instance attributes and class attributes are represented by logical predicates. In this paper, we do not distingiush between the specification of an attribute value and the definition of the access method for this attribute. Though treated similarly in terms of their representation, the ....
E. Laenens, D. Vermeir, and B. Verdonk. LOCO, a logic-based language for complex objects. In Proc. of the ESPRIT-Conference 1989, pages 604--616, 1989.
Combining Object-Oriented and Logic Paradigms: A Modal Logic.. - Uustalu (1992) (6 citations) (Correct)
....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 ObjVProlog, however, dynamic predicate definition clauses are restricted to facts only) From this ....
E. Laenens, D. Vermeir, and B. Verdonk. LOCO, a LOgic-based language for Complex Objects. In ESPRIT'89: Proc. 6th Annual Esprit Conf., Brussels, Nov/Dec 1989, pp 604-16. Dordrecht: Kluwer Acad. Publ., 1989.
Method Resolution and Virtual Classes in a Deductive.. - Freitag (1995) (Correct)
....i.e. modules, can be incrementally compiled. ffl Our approach is extensible towards multi agent systems in a natural way. ffl Optimization techniques of deductive databases carry over unchanged. The representation of objects as logic theories has been proposed by several researchers, e.g. [4, 5, 17, 19, 20, 21]. However, late binding and virtual classes are not addressed. In [8] meta level rules are used to define inheritance and late binding. In [7] 2 a semantics of inheritance and late binding is defined based on composition operators. Both do not deal with virtual classes. 2] define static and ....
E. Laenens, D. Vermeir, and B. Verdonk. LOCO, a logic-based language for complex objects. In Proc. of the ESPRIT-Conference 1989, pages 604--616, 1989.
Using SICStus Objects in the Design of Graphical User Interfaces - Sjöland (1992) (Correct)
No context found.
E Laenens, Philips Applications & Software Services, Eindhoven, The Netherlands, D. Vermeir, B. Verdonk, Dept. of Computer Science, Univ. of Antwerp, Belgien, LOCO, a Logic-based Language for Complex Objects. I Proc. of ESPRIT'89 Technical Conf., Project 2424, pp.604-616 , 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