A declarative and non-determinist framework for dynamic object-oriented and constraint logic programming
Loading...
Authors
Abdulrab, H
Ngomo, M
Drissi-Talbi, A
Issue Date
1999
Type
Article
Language
en
Keywords
Multiple states object , Multiple definitions method , Freezing mechanisms , Object-oriented programming constraint and logic programming , State changes
Alternative Title
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.
Description
Citation
Abdulrab H, Ngomo M & Drissi-Talbi A (1999) A declarative and non-determinist framework for dynamic object-oriented and constraint logic programming. South African Computer Journal, Number 23, 1999
Publisher
South African Computer Society (SAICSIT)
License
Journal
Volume
Issue
PubMed ID
DOI
ISSN
2313-7835