Problem 1: Indicate whether each of the following will unify or not. If unification will succeed, indicate how each variable will be bound. If unification will fail, briefly (a single phrase or sentence) explain why. You may write your answers directly in this comment, or in another comment below this one. You are strongly encouraged to: (a) first try and answer each problem by hand (b) then check your answer using a prolog interpreter. 1) (T,T)=(B,C). 2) (t,t)=(B,C). 3) (T,T)=(b,c). 4) [HT]=[1,2,3]. 5) [HT]=[1]. 6) [HT]=[]. 7) f(1,X)=f(Y,2). 8) r(1,X)=f(Y,2). 9) r(1,2)=r(1,2,X). 10) f(g(X,Y),h(Y))=f(g(r(T),2),Z)