Which is mainly used for automated reasoning?

• A. Backward chaining
• B. Forward chaining
• C. Logic programming
• D. Parallel programming