Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Program