Learning Predictive Checklists with Probabilistic Logic Programming