A Turing complete probabilisitc programming language