Corpus ID: 212488811

A FULL DECLARATIVE APPROACH OF DYNAMIC LOGIC OBJECTS

@inproceedings{Ngomo2018AFD,
  title={A FULL DECLARATIVE APPROACH OF DYNAMIC LOGIC OBJECTS},
  author={M. Ngomo and H. Abdulrab},
  year={2018}
}

M. Ngomo, H. Abdulrab

Published 2018

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… CONTINUE READING

Save to Library

Create Alert

Cite

Launch Research Feed