Figaro ist eine probabilistische Programmiersprache, die die Entwicklung sehr reichhaltiger probabilistischer Modelle unterstützt und Schlussfolgerungsalgorithmen bereitstellt, die auf Modelle angewendet werden können, um nützliche Schlussfolgerungen aus Beweisen zu ziehen.