Question 1 (a) Which of the following pairs of expressions are unifiable? If any pair is unifiable give the resulting bindings for the variables. Otherwise give reasons why the pair cannot be unified. [[a, b, c]] and [ X Y ] . [A A ] and [ X , [ c, d, ell (A, A ] and [ XI [ c, d, ell A*B+C-2+X and U+X+Y-Z (b) Assume that a Prolog database contains the following facts. p(a) q(a,1) r(1,1). r(3,5) p(b). q(a,2). r(1,2). r(3,6). q(6,3). r(2,3) r(4,7) q(6,4) r(2,4). r(4,8) What are the effects of the following queries? 1. ?- P(X),q(X,Y),',r(Y,Z). 2 - p(x), once (q(X,Y)),r(Y,Z) 3. ?- P(X),,q(X,Y). Question 1 (a) Which of the following pairs of expressions are unifiable? If any pair is unifiable give the resulting bindings for the variables. Otherwise give reasons why the pair cannot be unified. [[a, b, c]] and [ X Y ] . [A A ] and [ X , [ c, d, ell (A, A ] and [ XI [ c, d, ell A*B+C-2+X and U+X+Y-Z (b) Assume that a Prolog database contains the following facts. p(a) q(a,1) r(1,1). r(3,5) p(b). q(a,2). r(1,2). r(3,6). q(6,3). r(2,3) r(4,7) q(6,4) r(2,4). r(4,8) What are the effects of the following queries? 1. ?- P(X),q(X,Y),',r(Y,Z). 2 - p(x), once (q(X,Y)),r(Y,Z) 3. ?- P(X),,q(X,Y)