Delete tp1.prolog