A logic-programming/object-oriented cocktail

ABSTRACT

I define a simple data model which is based on an object oriented approach and uses logic programming as a computational model. The query part of the data model is purely declarative and has a fixpoint semantics, while the update part is imperative and uses assignments.

REFERENCES

• 1: [Afsarlnanesh 85] "An Extensible Object-Oriented Approach to Databases for VLSI/CAD" H. Afsarmanesh, D. Knapp, D. McLeod and A. Parker Tech Report 85-330, Computer Science Dept, UCLA.
• 2: Hassan Ait-Kaci, A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification), University of Pennsylvania, Philadelphia, PA, 1984
• 3: [Ait-Kaci 85] Hassan Ait-Kaci, "Unpublished Gripe", March 1985.
• 4: Krzysztof R. Apt , M. H. van Emden, Contributions to the Theory of Logic Programming, Journal of the ACM (JACM), v.29 n.3, p.841-862, July 1982 [doi>10.1145/322326.322339]
• 5: Luca Cardelli, A semantics of multiple inheritance., Proc. of the international symposium on Semantics of data types, p.51-67, July 1984, Sophia-Antipolis, France
• 6: [Chikayama 84] "Unique Features of ESP" T. Chikayama Proceedings of the International Conference on Fifth Generation Computer Systems, 1984.
• 7: George Copeland , David Maier, Making smalltalk a database system, Proceedings of the 1984 ACM SIGMOD international conference on Management of data, June 18-21, 1984, Boston, Massachusetts
• 8: [Ishikawa 84] "The Design of an Object Oriented Architecture" Y. Ishikawa and M. Tokoro.
• 9: [Furukawa 84] "Mandala: A Logic Based Knowledge Programming System" K. Furukawa, A. Takeushi, S. Kunifuji, H. Yasukawa, M. Ohki, K. Ueda Proceedings of the International Conference on Fifth Generation Computer Systems, 1984.
• 10: [Mizoguchi 84] "LOOKS: Knowledge Representation System for Designing Expert Systems in a Logic Programming Framework" F. Mizoguchi, H. Ohwada and Y. Katayama Proceedings of the International Conference on Fifth Generation Computer Systems, 1984.
• 11: [Nakashima 83] "Data Abstraction in Prolog/KR" H. Nakashima and N. Suzuki New Generation Computing, 1 (1983) pp. 49-62.
• 12: [Shapiro 83] "Object Oriented Programming in Concurrent Prolog" E. Shapiro and A. Takeushi New Generation Computing, 1 (1983) 25-48 Object Oriented programming and Prolog.
• 13: [Tokoro 84] "An Object Oriented Approach to Knowledge Systems" M. Tokoro and Y. Ishikawa Proceedings of the International Conference on Fifth Generation Computer Systems, 1984 Logic and Object Oriented Programming.
• 14: [Zaniolo 85] "Object Oriented database Systems and Knowledge Systems" C. Zaniolo. H. Ait-Kaci, D. Beech, S. Cammarata, L. Kersehberg and D. Maier Report from the Kiowa Working Group.

INDEX TERMS

Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.1 Mathematical Logic
          Subjects: Logic and constraint programming

  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design
          Subjects: Data models

General Terms:
Design