case 8 and case 6 deleted in switch of function 'prolog'