False. In fact, if a logic program proceeds along a long branch without failing, it can be critical to do a cut, or the program will run out of memory.