Google News
logo
Artificial Intelligence - Quiz(MCQ)
Which is omitted in prolog unification algorithm?
A)
Variable check
B)
Proposition check
C)
Occur check
D)
Both Occur & Proposition check

Correct Answer :   Occur check


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

Advertisement