1 Find the unifier a for: |20pcs s={p(u, W, gCh (X,Y))), P (g(W), 6(X,a), u) compare a with the one found in SWISH, Draw the SLD-tree for Ad A==xPCb,x) where : (pca,b). JP (X, Y): - PCY, X), 9(X,Y). Cb,c). or Cc,a). gCx, y). (20pts Up to the 1st success leaf complement your drawn tree with auxilliany computations made on margin. Compare your twee with the answer to the Swish query >>p (6,x), the lenger 1 Find the unifier a for: |20pcs s={p(u, W, gCh (X,Y))), P (g(W), 6(X,a), u) compare a with the one found in SWISH, Draw the SLD-tree for Ad A==xPCb,x) where : (pca,b). JP (X, Y): - PCY, X), 9(X,Y). Cb,c). or Cc,a). gCx, y). (20pts Up to the 1st success leaf complement your drawn tree with auxilliany computations made on margin. Compare your twee with the answer to the Swish query >>p (6,x), the lenger