IsaLog: A declarative language for complex objects with hierarchies

This publication has 9 references indexed in Scilit:

• A logical framework for deductive objects
  Information Systems, 1992
• A formal approach to object-oriented databases
  Data & Knowledge Engineering, 1990
• Integrating object-oriented data modelling with a rule-based programming paradigm
  Published by Association for Computing Machinery (ACM) ,1990
• A logic for object-oriented logic programming
  Published by Association for Computing Machinery (ACM) ,1989
• Object identity as a query language primitive
  Published by Association for Computing Machinery (ACM) ,1989
• A semantics of multiple inheritance
  Information and Computation, 1988
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Login: a logic programming language with built-in inheritance
  The Journal of Logic Programming, 1986
• Object identity
  Published by Association for Computing Machinery (ACM) ,1986