[prologix] minor improvments

(0) -10 -1 +1 +30 tip

mercurial