[NRM008] Nenormalizm for Progolog