Title :
Integrating object-oriented paradigms and logic programming: the OPLA language
Author :
Loia, Vincenzo ; Quaggetto, Michel
Author_Institution :
Dipartimento di Inf. ed Applicazioni, Salerno Univ., Italy
Abstract :
OPLA is an object-oriented (OO) logic programming language built on top of Common Lisp Object System (CLOS) OPLA enhances logic programming with advanced features of OO paradigm, such as multiple-inheritance, multi-methods, and the constraint-based control flow mechanism. In particular, we discuss the features of the OPLA language used to solve non trivial problems of user-interface development, such as the management of graphical constraints on windows, and the application of law-based delegation. The novel features of OPLA are quantitatively discussed, by reporting their impact in the realization of significant applications
Keywords :
LISP; graphical user interfaces; logic programming languages; object-oriented languages; user interface management systems; CLOS; Common Lisp Object System; OPLA language; constraint-based control flow mechanism; graphical constraints; law-based delegation; logic programming; multi-methods; multiple-inheritance; object-oriented logic programming language; object-oriented paradigms; user-interface development; windows; Application specific integrated circuits; Computer languages; Documentation; High level languages; Logic design; Logic programming; Programming environments; Proposals; Prototypes; Testing;
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1994. Proceedings., Ninth
Conference_Location :
Monterey, CA
Print_ISBN :
0-8186-6380-4
DOI :
10.1109/KBSE.1994.342666
