Embedding ψ-terms in a Horn-clause Logic Language

This publication has 8 references indexed in Scilit:

• Database updates in logic programming
  Published by Association for Computing Machinery (ACM) ,1988
• Sets and negation in a logic data base language (LDL1)
  Published by Association for Computing Machinery (ACM) ,1987
• An algebraic semantics approach to the effective resolution of type equations
  Theoretical Computer Science, 1986
• Login: a logic programming language with built-in inheritance
  The Journal of Logic Programming, 1986
• A logic-programming/object-oriented cocktail
  ACM SIGMOD Record, 1986
• On the evaluation strategy of EDUCE
  Published by Association for Computing Machinery (ACM) ,1986
• Horn clause queries and generalizations
  The Journal of Logic Programming, 1985
• Logic and Databases: A Deductive Approach
  ACM Computing Surveys, 1984