Objects with State in Contextual Logic Programming

The amalgamation of object-oriented concepts into the logic programming paradigm represents a promising approach to the exploitation of prototyping techniques for building complex software systems. Starting from the CSM implementation of contextual logic programming, an extension path toward object-oriented abstractions and mechanisms is proposed. In particular, the state modification issue is addressed by making a clear distinction between deductive and updating phases.