Create tp1_v2.prolog