Why does Prolog automatically backtrack in one case but not in another?
I have a Prolog program with two predicates, rr and p, each with its own set of rules and facts. When querying these predicates with specific inputs, I noticed that Prolog automatically backtracks in one case but not in the other.