أرسل هذا في رسالة قصيرة: Linking Theories in Probabilistic Programming