prolog-normalization