A DECLARATIVE APPROACH OF DYNAMIC LOGIC OBJECTS
Journal: International Journal of Engineering Sciences & Research Technology (IJESRT) (Vol.7, No. 4)Publication Date: 2018-04-30
Authors : Macaire Ngomo; Habib Abdulrab;
Page : 764-785
Keywords : Logic Objects; Object-Oriented Programming; Logic Programming; Prolog; OO-Prolog; Modelling; Object Condition; Object State Change; Semantics of State Change;
Abstract
The marriage of logic and objects is a very wide-ranging problem, approached with various approaches, depending on the purpose. In this article, we are interested in the modelling of the state and the change of the state of an object in logic programming. After a state of the art on the subject, presenting the various aspects as well as different solutions proposed in the literature, the article then proposes a mechanism of versions of objects based on the mechanism of unification and on the use incomplete structures. Indeed, the overview of an incomplete structure can be used to allow the entry of new information by means of unification and thus to foresee the future. This mechanism makes it possible to construct the history of an object by unification and to undo it by backtracking. The changes of state are thus made and defeated, without effects of edge, in synchronization with the backtrack
Other Latest Articles
- DESIGN AND STATIC STRUCTURAL ANALYSIS OF ROCKER ARM IN I.C. ENGINE
- ENLIVEN HISTORY
- “ELEVEN SHIVA TEMPLE COMPLEX”, ABHAYNAGAR, JESSORE, BANGLADESH: THE POTENTIAL HUB OF SUSTAINABLE URBAN REGENERATION
- EFFECT OF SLIP PARAMETER ON MHD BLOOD FLOW AND HEATTRANSFER THROUGH A POROUS MEDIUM WITH VARIABLE VISCOSITY
- HYBRID CLASSIFICATION FOR SENTIMENT ANALYSIS OF MOVIE REVIEWS
Last modified: 2018-04-28 21:09:27