Automated Biodesign Engineering by Abductive Meta-Interpretive Learning