AI MCQ #349: Which is omitted in prolog unification algorithm?

by

Q349. Which is omitted in prolog unification algorithm?

  • a) Variable check
  • b) Occur check
  • c) Proposition check
  • d) Both Occur & Proposition check

✅ Correct Answer: B) Occur check

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