Cut And Fail Predicate In Prolog