! is true. All choice points between the cut and the parent goal are removed. The effect is commit to use of both the current clause and the substitutions found at the point of the cut.