OOLP: A Translation Approach to Object-Oriented Logic Programming

  title={OOLP: A Translation Approach to Object-Oriented Logic Programming},
  author={Mukesh Dalal and Dipayan Gangopadhyay},
OOLP integrates the superior modeling capabilities of object-oriented paradigm in the declarative framework of logic programming. Method invocation in OOLP is given a precise model theoretic semantics which is consistent with that of logic programming. OOLP is extended to a practical object-oriented database language OOLP+ by adding some extra-logical features. OOLP+ allows object identity, multiple inheritance, method overriding and dynamic updating among other features. OOLP+ is implemented… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.