Cut And Fail Predicate In Prologo Dimension