Declarative probabilistic programming with datalog - Barany, V; Cate, B; Kimelfeld, B; Olteanu, D; Vagena, Z (International Conference on Database Theory, 2016)