Abstract
Probabilistic programming languages facilitate statistical model construction and inference. In this research project the student shall become familiar with the declarative probabilistic programming languages that compile to probabilistic circuits, as well as their parametric learning algorithms.