Artificial Intelligence MCQ
Which is omitted in prolog unification algorithm?
A)
Variable check
B)
Proposition check
C)
Occur check
D)
Both Occur & Proposition check

Correct Answer : Option (C) :   Occur check

Explanation : Occur check is omitted in prolog unification algorithm because of unsound inferences.