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) A variable can be unified with a constant, another variable, or a function. (B) Deep backtracking → (II) This involves executing the entire conjunctive goal. (C) Forward movement → (IV) Select a subgoal that has a potential unifier. (D) Shallow backtracking → (I) Returns to the previous subgoal to identify alternative solutions.