Generalizing allowedness while retaining completeness of SLDNF-resolution

This publication has 21 references indexed in Scilit:

• A completeness theorem for SLDNF resolution
  The Journal of Logic Programming, 1989
• Signed data dependencies in logic programs
  The Journal of Logic Programming, 1989
• Towards a Theory of Declarative Knowledge
  Published by Elsevier ,1988
• Negation in logic programming
  The Journal of Logic Programming, 1987
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• A basis for deductive database systems II
  The Journal of Logic Programming, 1986
• Completeness of the SLDNF-resolution for a class of logic programs
  Published by Springer Nature ,1986
• A kripke-kleene semantics for logic programs*
  The Journal of Logic Programming, 1985
• Making prolog more expressive
  The Journal of Logic Programming, 1984
• Negation as Failure
  Published by Springer Nature ,1978