Which is mainly used for automated reasoning?
A. Backward chaining
B. Forward chaining
C. Logic programming
D. Parallel programming
Answer:C
Which is mainly used for automated reasoning?
A. Backward chaining B. Forward chaining C. Logic programming D. Parallel programming