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