Update Prolog_lab3.pl