Introducing Gringo