Which are more suitable normal form to be used with definite clause?
(a) Positive literal
(b) Negative literal
(c) Generalized modus ponens
(d) Neutral literal
This question was posed to me in an online interview.
Query is from Forward Chaining topic in section Logical Agents of Artificial Intelligence