Update prologMisc.pl