Initial revision of 'lab5.pl'