Which makes the complexity of the entire algorithm quadratic in the size?
(a) Clause
(b) Inference
(c) Resolution
(d) Occur check
This question was addressed to me in an interview for internship.
Origin of the question is Unification and Lifting in section Knowledge and Reasoning of Artificial Intelligence
Select the correct answer from above options
Interview Questions and Answers, Database Interview Questions and Answers for Freshers and Experience