La programmation probabiliste (PP) est un paradigme de programmation dans lequel les modèles probabilistes sont spécifiés et l'inférence effectuée automatiquement.