Probabilistic (logic) programming concepts (SUM tutorial)