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

    Tables from this paper

    References

    SHOWING 1-10 OF 143 REFERENCES
    Linear objects: Logical processes with built-in inheritance
    • 74
    Merging Objects and Logic Programming: Relational Semantics
    • 53
    • PDF
    Transaction Logic Programming
    • 187
    LOGIN: A Logic Programming Language with Built-In Inheritance
    • 480
    • PDF
    LO and behold! Concurrent structured processes
    • 52
    Extended database logic: Complex objects and deduction
    • 2
    • PDF