This is sad. I find probablistic programming languages very interesting. This probably means that many of the most useful ideas are disappeared. Does anyone know any relevant papers that describe what they did?