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