ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

A Declarative Approach of Dynamic Logic Objects

Journal: International Research Journal of Advanced Engineering and Science (IRJAES) (Vol.3, No. 2)

Publication Date:

Authors : ;

Page : 101-115

Keywords : Logic Objects; Object-Oriented Programming; Logic Programming; Prolog; OO-Prolog; Modelling; Object Condition; Object State Change; Semantics of State Change.;

Source : Downloadexternal Find it from : Google Scholarexternal


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

Last modified: 2018-05-13 23:36:02