Explain how Prolog differs from imperative languages in its handling of arithmetic. Describe the difference between forward chaining and backward chaining. Which is used in Prolog by default? Describe...

Explain how Prolog differs from imperative languages in its handling of arithmetic. Describe the difference between forward chaining and backward chaining. Which is used in Prolog by default? Describe the Prolog search strategy. Discuss backtracking and the instantiation of variables.