Figaro è un linguaggio di programmazione probabilistica che supporta lo sviluppo di modelli probabilistici molto ricchi e fornisce algoritmi di ragionamento che possono essere applicati ai modelli per trarre conclusioni utili dalle evidenze.