Which closely resembles propositional definite clause?
(a) Resolution
(b) Inference
(c) Conjunction
(d) First-order definite clauses
I had been asked this question in my homework.
My question is from Forward Chaining in section Logical Agents of Artificial Intelligence