The course I did at uni, decades ago now, set us a Prolog assessment where we were not allowed to use the cut operator.

Code that backtracks is hard to reason about.