Question: Which Is Mainly Used For Automated Reasoning?

What is Automated Reasoning in AI?

.

What technique is used in backward chaining algorithm?

What form of negation does the Prolog permit?

What is another type of default reasoning?