What Does Cut Do In Prolog