Which of the following pairs of expressions are unifiable? For those which are, give the resulting

bindings for the variables. Give reasons if they cannot be unified.

a$)[[$a$,$b$,$c$]]$ and $[$X $|$ Y$].$

b$)[$A$,$ A$]$ and $[$ X $|[$ c$,$ d$,$ e$]].$

c$)$ f$($Z$)+$l$-$Y$*2$ and U$-(1+2)*$Z$.$

d$)$ f $($ X$,$ f$($ X$+1))$ and f$(0,$ f$(1)).$