Lab4 (More prolog)