$2.$ A$)$ What is First$-$order logic? Explain the resolution in First$-$order logic.

B$)$ Using resolution in first$-$order logic, prove or disprove the statement: "All humans are

mortal. Socrates is a human. Therefore, Socrates is mortal."

C$)$ Given a first$-$onder knowledge hase representing a family tree, use the resolution to find out if John is Susan's uncle.

D$)$ Use resolution in first$-$order logic to determine the validity of the argument: $"$If all men are mortal, and Socrates is a man, then Socrates is mortal."

E$)$ Consider a first$-$order logic knowledge base representing a complex puzzle or game. Use resolution to find a solution to the puzzle or determine if it is unsolvable.