Rename Prob6.pl to prob6.pl