Figaro est un langage de programmation probabiliste qui prend en charge le développement de modèles probabilistes très riches et fournit des algorithmes de raisonnement qui peuvent être appliqués aux modèles pour tirer des conclusions utiles à partir des preuves.