prolog-cut