Update tp1_v2.prolog