Update lab4.pl