Explanation: None. 10. Which is omitted in prolog unification algorithm?
A. Variable check
B. Occur check
C. Proposition check
D. Both b & c
Answer:A
Explanation: None. 10. Which is omitted in prolog unification algorithm?
A. Variable check B. Occur check C. Proposition check D. Both b & c
Explanation: Occur check is omitted in prolog unification algorithm because of unsound inferences. Sanfoundry Global Education & Learning Series – Artificial Intelligence. To practice all areas of Artificial Intelligence, here is complete set of 1000+ Multiple Choice Questions and Answers on Artificial Intelligence.