A declarative and non-determinist framework for dynamic object-oriented and constraint logic programming

Abstract

LOP (Logic, Object, Parallelism) is a system that integrates object-oriented and constraint logic programming. It is entirely designed and implemented, using object-oriented methodology, under the form of hierarchical levels of distinct natures. In this paper, we restrict our presentation to the first two levels of LOP that integrate declarative programming with object­-oriented programming. We show here how this fusion is done in LOP using, from one hand, freezing mechanisms, and from another hand, the two new notions: multiple states object and multiple definitions method. The consequence of this approach is that any message passing which appears in a request is interpreted independently from the control strategy. In particular, the reduction of a message passing does not depend on its position in the request. In this paper, we particularly show how the declarative programming is preserved in the presence of state changes and dynamic method redefinition. The bases of our implementation are finally detailed.