Logic programming with sets

This publication has 15 references indexed in Scilit:

• A normal form for nested relations
  Published by Association for Computing Machinery (ACM) ,1985
• Making prolog more expressive
  The Journal of Logic Programming, 1984
• A new approach to database logic
  Published by Association for Computing Machinery (ACM) ,1984
• On compiling queries in recursive first-order databases
  Journal of the ACM, 1984
• On the correct translation of update operations on relational views
  ACM Transactions on Database Systems, 1982
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• The format model
  Published by Association for Computing Machinery (ACM) ,1982
• Database abstractions
  ACM Transactions on Database Systems, 1977
• An algebra of quotient relations
  Published by Association for Computing Machinery (ACM) ,1977
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976