Interpretable task planning and learning for autonomous robotic surgery with logic programming