Văn bản này: Linking Theories in Probabilistic Programming