. . . . . "A functional perspective on machine learning via programmable induction and abduction (Other)"^^ . .