ProbLog: a probabilistic programming language for data analysis