Prompting Is Programming: A Query Language for Large Language Models