Programming with Robots