Probabilistic Programming
Can someone in the know please comment about how this is useful ?<p>I mean yes this is neat, but inference engines already work declaratively with factor-graphs and potentials.<p>Are there techniques exploiting algebra/logic that helps make inference faster in practice ?