Figaro es un lenguaje de programación probabilística que admite el desarrollo de modelos probabilísticos muy ricos y proporciona algoritmos de razonamiento que se pueden aplicar a los modelos para extraer conclusiones útiles a partir de la evidencia.