(40) tesolution applies one clause from a program to make one step of progress on a list of goal terms to be proved. Here it is a function that takes a clause from the program and a list of goal terms to be proved and returns a new list of goal terms: function resolution(clause, goals): let sub- the MGU of head(clause) and head(goals) return sub(tail (clause) concatenated with tail(goals) What is the MGU for these resolution steps, and what is the new list of goal terms that results? a. resolution ([eacl, [p,x.vl) b. resolution([p(a).ip(x)1) c. resolution([p (X.b),q(X)], [p(a,Y),r()1) d. resolution([append (X.Y, [1,21)1, [append ([],B, B)]) e. resolution([append (X,Y, [1,2)1, Lappend ([HeadlTailAl,B, [HeadlTailc]), append (IailA,B,Tail)])