Probabilistic programming extends programming languages with probabilistic ... The semantics for hybrid programs with function symbols is placed on a sound footing.