Object-Oriented Computations in Logic Programming

@inproceedings{Omicini1994ObjectOrientedCI,
  title={Object-Oriented Computations in Logic Programming},
  author={Andrea Omicini and Antonio Natali},
  booktitle={ECOOP},
  year={1994}
}
When interpreted as a model for structuring programs and organizing computations, the object-oriented paradigm can be thought as a set of abstractions independent of the host language. By generalizing the notion of object state configuration with respect to that embedded in languages based on assignment, this paper explores a relational approach to object-oriented programming. An object-oriented model based on the notion of object as structured logic theory, is introduced, allowing instance… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS
15 Citations
21 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 21 references

A General Framework for Structuring Logic Programs

  • A. Brogi, E. Lamma, P. Mello
  • C.N.R. Technical Report “Progetto Finalizzato…
  • 1990
Highly Influential
4 Excerpts

A declarative view of inheritance in logic programming

  • M. Bugliesi
  • K. Apt (ed.): Proceedings of the Joint…
  • 1992
1 Excerpt

Takeuchi : Object Oriented Programming in Concurrent Prolog

  • A. Shapiro
  • New Generation Computing
  • 1992

A Prolog Object-Oriented System: an Exercise in Contextual Logic Programming

  • C. Ruggieri, M. Bugliesi
  • Proceedings of the 6th Italian Conference on…
  • 1991
1 Excerpt

Similar Papers

Loading similar papers…