Overcoming Misleads In Logic Programs by Redefining Negation
  Negation as failure and incomplete information in logic programs have been
studied by many researchers In order to explains HOW a negated conclusion was
reached, we introduce and proof a different way for negating facts to
overcoming misleads in logic programs. Negating facts can be achieved by asking
the user for constants that do not appear elsewhere in the knowledge base.
