Q20,paper 3,d13. Match the following control strategies of prolog :

List – I	List – II
a. Forward  movement	i. Variable can be done with a constant another variable or a function.
b. Unification	ii. The entire conjunctive goal is executed.
c. Deep backtracking	iii. Previous sub goal to find alternative solutions.
d. Shallow back- tracking	iv. Chooses sub goal with possible unifier.

Codes :

      a b c d

(A) iv i ii iii

(B) ii iv i iii

(C) iii i iv ii

(D) ii iii iv

Answer A.