| LIST I | LIST II |
|---|---|
| (A) Unification | (I) Variable can be done with a constant, another variable, or a function. |
| (B) Deep backtracking | (II) The entire conjunctive goal is executed. |
| (C) Forward movement | (III) Choose subgoal with possible unifier. |
| (D) Shallow backtracking | (IV) Previous subgoal to find alternative solutions. |
Match List-I with List-II 
Choose the correct answer from the options given below: