Negation as Failure Using Tight Derivations for General Logic Programs

This publication has 11 references indexed in Scilit:

• Comments on “general failure of logic programs”
  The Journal of Logic Programming, 1986
• Design overview of the NAIL! System
  Published by Springer Nature ,1986
• Negation-as-failure rule for general logic programs with equality
  The Journal of Logic Programming, 1985
• Negation as failure. II
  The Journal of Logic Programming, 1985
• Implementation of logical query languages for databases
  ACM Transactions on Database Systems, 1985
• General failure of logic programs
  The Journal of Logic Programming, 1985
• A logical reconstruction of Prolog II
  The Journal of Logic Programming, 1984
• On compiling queries in recursive first-order databases
  Journal of the ACM, 1984
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976