XSB as an efficient deductive database engine

This publication has 12 references indexed in Scilit:

• HiLog: A foundation for higher-order logic programming
  The Journal of Logic Programming, 1993
• An alternating fixpoint tailored to magic programs
  Published by Association for Computing Machinery (ACM) ,1993
• Query evaluation under the well-founded semantics
  Published by Association for Computing Machinery (ACM) ,1993
• Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete
  Journal of Automated Reasoning, 1993
• Memoing for logic programs
  Communications of the ACM, 1992
• High-performance logic programming with the Aquarius Prolog compiler
  Computer, 1992
• The well-founded semantics for general logic programs
  Journal of the ACM, 1991
• Modular stratification and magic sets for DATALOG programs with negation
  Published by Association for Computing Machinery (ACM) ,1990
• The LDL system prototype
  IEEE Transactions on Knowledge and Data Engineering, 1990
• Implementation of logical query languages for databases
  ACM Transactions on Database Systems, 1985