Cut And Fail In Prolog