$2.$ Show the variable instantiations $($the values of X$,$ Y and Z$)$ if the matching between the

term in the first column and the term in the second column succeeds. Use $$No$$ otherwise.

No$,$ Term$1$ Term$2$ Instantiations

$1.[$a$,$ a$][$Y$|$ Y$]$

$2.[$t$($c$),$ t$($a$),$ b$][$Y$,$ Z $|$ X$]$

$3.[$g$($c$),$ c$,$ Z$][$g$($X$),$ c$,$ a$]$

$4.[$g$($Y$),$ a$,$ f$($a$)][$Z$,$ Y$,$ Y$]$

$5.[$a$,[$e$,[$d$]],$ a$][$X$,$ Z$,$ X$]$

$6.[$a$,$ b$,$ c$][$X $|[\_|[$Y$]]]$

$7.[$a$,$ a$,$ a$][\_|[\_|$ Z $]]$

$8.[$c$,$ b$,$ d$][$X$,$ d $|$ Y$]$

$9.$ f$($g$($Z$,$ a$),$ X$)$ f$($Y$,$ g$($Z$,$ b$))$

$10.$ p$($f$($d$),$ g$($a$,$ c$))$ p$($f$($d$),$ g$($a$,$ c$))$