Which is omitted in prolog unification algorithm?
(a) Variable check
(b) Occur check
(c) Proposition check
(d) Both Occur & Proposition check
This question was addressed to me in final exam.
This interesting question is from Backward Chaining topic in section Logical Agents of Artificial Intelligence
Select the correct answer from above options
Interview Questions and Answers, Database Interview Questions and Answers for Freshers and Experience
