Which algorithm takes two sentences and returns a unifier?
(a) Inference
(b) Hill-climbing search
(c) Depth-first search
(d) Unify algorithm
This question was addressed to me in semester exam.
I'm obligated to ask this question of Unification and Lifting topic in division Knowledge and Reasoning of Artificial Intelligence