What form of negation does the prolog allows?
(a) Negation as failure
(b) Proposition
(c) Substitution
(d) Negation as success
I got this question by my school principal while I was bunking the class.
The doubt is from Backward Chaining in chapter Logical Agents of Artificial Intelligence