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