[세미나] Unifying Logic and Probability: The BLOG language