ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains