prolog-put-inf