এই পাঠটি: Linking Theories in Probabilistic Programming