Correct Answer : Generalized modus ponens
Explanation : Definite clauses are a suitable normal form for use with generalized modus ponen.