Lenguajes de programación probabilísticos

Son lenguajes de programación diseñados para describir modelos probabilísticos y realizar inferencias ellos.

El resto de la entrada de la Wikipedia sobre este apasionante (y lo uso sin retintín) tema, aquí (y puede que también quieras visitar esto).