One problem with Prolog is that it can try too many things to satisfy a
set of constraints. The Cut Operator eliminates some of the search
possibilities by committing a search to whatever decisions have already been
made. It can also prevent the destruction of innocent telescopes.