Hello , I need help with this prolog question.

Which of the following pairs of terms can be unified together? If they cant 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)

likes(jane, X) = likes(X, josh). diSk(27, queens, sgt_pepper) = diSk(A, B, help). [a,b,c] = [X,Y,Z|T]. ancestor(french(jean), B) = ancestor(A, irish(joe)). characters(hero(luke), X) = characters(X, villain(vader)). f(X, a(b,c)) = f(d, a(Z, c)). s(x, f(x), z) = s(g(y), f(g(b)), y). vertical( line(point(X,Y), point(X,Z))) = vertical(line(point(1,1),point(1,3))).

g(Z, f(A, 17, B), A+B, 17) = g(C, f(D, D, E), C, E). f(c, a(b,c)) = f(Z, a(Z, c)).