What is meant by predicate indexing?
(a) All the one kind of facts in one bucket and another kind in other bucket
(b) Acts like index for facts
(c) All of the mentioned
(d) None of the mentioned
The question was posed to me in homework.
The origin of the question is Unification and Lifting in chapter Knowledge and Reasoning of Artificial Intelligence