Probabilistic programming (KI tutorial)