II lab3 prolog