We present an implementation of BLOG that facilitates fluid exploration of probabilistic programs.  We introduce a new keyword inspect that allows the evaluation of an arbitrary expression in a given trace from the full posterior. Using this additional keyword, we … Continue reading →