Refined the prolog syntax adding rules for the cut operator and the square brackets