do some prolog
cut