Mutable Object State for Object-Oriented Logic Programming: A Survey
Vladimir Alexiev · 1993
One of the most difficult problems on the way to an integration of Object-Oriented and Logic Programming is the modeling of changeable object state (i.e. object dynamics) in a particular logic in order not to forfeit the declarative nature of LP. Classical logic is largely unsuitable for such a task, because it adopts a general (both temporally and spatially), Platonic notion of validity, whereas object state changes over time and is local to an object. This paper presents the problem and surveys the state-of-the-art approaches to its solution, as well as some emerging, promising new approaches. The paper tries to relate the different approaches, to evaluate their merits and deficiencies and to identify promising directions for development. Keywords: Object-Oriented Logic Programming, mutable object state, survey. 1 The Problem: Dynamics of Objects From the research literature on integration of Object-Oriented Programming (OOP) and Logic Programming (LP) one gets the impression that ...