O-logic(ID:5787/olo001)

Hybrid oo-deductive system

References:
  • Kifer, M. and Wu, J. "A logic for object­oriented logic programming (Maier's O­logic revisited)" view details
          in Proceedings of the Eighth Symposium on Principles of Database Systems (PODS), Philadelphia, PA, 1989 view details