Question

Match List I with List II.

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.

• (A) - (III), (B) - (IV), (C) - (I), (D) - (II)
• (A) - (IV), (B) - (II), (C) - (III), (D) - (I)
• (A) - (III), (B) - (II), (C) - (IV), (D) - (I)
• (A) - (IV), (B) - (III), (C) - (I), (D) - (II)

Hint:

Understand unification as a matching process, and backtracking (shallow or deep) as methods to explore alternative solutions in search algorithms.

Answer 1

The Correct Option is C

(A) Unification → (III) Variable can be done with a constant, another variable, or a function. (B) Deep back tracking → (II) The entire conjunctive goal is executed. (C) Forward movement → (IV) Choose sub goal with possible unifier. (D) Shallow back tracking → (I) Previous sub goal to find alternative solutions.