Church — family of LISP-like programming language for specifying arbitrarily probabilistic programs