Logic programming for deliberative robotic task planning