Update tp1.prolog