kirancodes.me
To Proof Maintenance & Beyond!

Integrating Object-Oriented Paradigms and Logic Programming: The OPLA Language

Vincenzo Loia, Michel Quaggetto

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.>

BibTeX
@inproceedings{Loia-Quaggetto:ASE94,
  author    = {Vincenzo Loia and
               Michel Quaggetto},
  title     = {Integrating {Object-Oriented} Paradigms and Logic Programming: The {OPLA} Language},
  booktitle = {ASE},
  pages     = {158--164},
  publisher = {{IEEE} Computer Society},
  year      = {1994},
}

Related papers