A Paralogical Semantics for the Prolog Cut