Create tp1.prolog