G. Van den Broeck, I. Thon, M. van Otterlo, and L. De Raedt, “DTProbLog: A Decision-Theoretic Probabilistic Prolog”, AAAI, vol. 24, no. 1, pp. 1217–1222, Jul. 2010.