Overcoming Misleads In Logic Programs by Redefining Negation

M. A. El-Dosuky, T. T. Hamza, M. Z. Rashad +1

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 p…