Correct Answer : Option (A) : Stack
Explanation : The goals can be thought of as stack and if all of them us satisfied means, then current branch of proof succeeds.
