Please help me with this question, thank you very much.

Question 2 (10 pts) Unification and Resolution in prolog Which of the following pairs of terms can be unified together? If they can't be unified, please provide the reason for it. If they can be unified successfully, wherever relevant, provide the variable instantiations that lead to successful unification. (Note shows unification) ancestor(french(jean), B) -ancestor(A, scottish(joe)) food(bread, X) -Food(Y, soup) food(bread, X, milk)-food(Y, salad. X) mangaer(X)-Y meal(healthyFood(bread), drink(milk)) meal(X,Y) meal(eat( Z), drink(milk))- meal(X,Y) f(X, t(b, c)) f(l, t(Z, c)) meal(healthyFood(bread), Y) meal(X, drink(water)) breakfast(healthyFood(bread), egg, milk)-breakfast(healthyFood(Y), Y, Z) dinner( X, Y, Time) dinner( jack, cook( egg, oil), Evening) k(s(g), Y) k(X, t(k)) characters(hero(luke), X) -characters(X, villain(vader)) equation(Z, f(L, 17, M), L*M, 17) euation(C, f(D, D, E), C, E). Question 2 (10 pts) Unification and Resolution in prolog Which of the following pairs of terms can be unified together? If they can't be unified, please provide the reason for it. If they can be unified successfully, wherever relevant, provide the variable instantiations that lead to successful unification. (Note shows unification) ancestor(french(jean), B) -ancestor(A, scottish(joe)) food(bread, X) -Food(Y, soup) food(bread, X, milk)-food(Y, salad. X) mangaer(X)-Y meal(healthyFood(bread), drink(milk)) meal(X,Y) meal(eat( Z), drink(milk))- meal(X,Y) f(X, t(b, c)) f(l, t(Z, c)) meal(healthyFood(bread), Y) meal(X, drink(water)) breakfast(healthyFood(bread), egg, milk)-breakfast(healthyFood(Y), Y, Z) dinner( X, Y, Time) dinner( jack, cook( egg, oil), Evening) k(s(g), Y) k(X, t(k)) characters(hero(luke), X) -characters(X, villain(vader)) equation(Z, f(L, 17, M), L*M, 17) euation(C, f(D, D, E), C, E)