What is used in backward chaining algorithm?
(a) Conjuncts
(b) Substitution
(c) Composition of substitution
(d) None of the mentioned
I had been asked this question in my homework.
Question is taken from Backward Chaining in chapter Logical Agents of Artificial Intelligence