Programming languages are formal. Otherwise you're talking about programming prompts for a LLM. And the resulting program may vary.