Which is mainly used for automated reasoning?
(a) Backward chaining
(b) Forward chaining
(c) Logic programming
(d) Parallel programming
I had been asked this question in unit test.
I need to ask this question from Backward Chaining in portion Logical Agents of Artificial Intelligence