We discussed using both forward chaining and back-chaining for proving logical statements. Of these two, which one is most similar to what Prolog does, and why does Prolog use that one?
a) Forward chaining; because it starts with known facts to derive conclusions
b) Back-chaining; because it starts with the goal and works backward to find supporting facts
c) Both are equally similar to Prolog
d) Prolog does not use either forward chaining or back-chaining
