PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains