For constant term: f(a,b,g(t)), pattern term: f(a,Y,X) when pattern matching we can use the following assignment Y=b and X=g(t) to make the two terms match.

Note: A variable in the pattern is allowed to match anything in the other structure.

What do the uppercase letters X,Y represent?

For constant term fabgt pattern term faYX when pattern matching we can use the following assignment Yb and Xgt to make the two terms match Note A variable in th class=