A Functional Perspective on Machine Learning via Programmable Induction and Abduction - Cheung, Steven; Darvariu, Victor; Ghica, Dan R.; Muroya, Koko; Rowe, Reuben N. S. (Functional and Logic Programming, 2018)