發送短信: Linking Theories in Probabilistic Programming