The principles and practice of probabilistic programming
Markov logic networks