Which closely resembles propositional definite clause?

• A. Resolution
• B. Inference
• C. Conjunction
• D. First-order definite clauses