Object Identity and Inheritance in Deductive Databases—an Evolutionary Approach

This publication has 7 references indexed in Scilit:

• Stable models and non-determinism in logic programs with negation
  Published by Association for Computing Machinery (ACM) ,1990
• A logic for object-oriented logic programming
  Published by Association for Computing Machinery (ACM) ,1989
• F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
  Published by Association for Computing Machinery (ACM) ,1989
• Non-Deterministic Choice in Datalog
  Published by Elsevier ,1988
• Embedding ψ-terms in a Horn-clause Logic Language
  Published by Elsevier ,1988
• Login: a logic programming language with built-in inheritance
  The Journal of Logic Programming, 1986
• Logic and Databases: A Deductive Approach
  ACM Computing Surveys, 1984