Church se refiere a una familia de lenguajes de programación probabilística similares a LISP [1] para definir programas probabilísticos arbitrarios , y a un conjunto de algoritmos para realizar inferencia probabilística en modelos generativos que definen estos programas. Church se desarrolló originalmente en el Instituto de Tecnología de Massachusetts , principalmente en el grupo de Ciencias Cognitivas Computacionales dirigido por Joshua Tenenbaum [2] . Hay varios algoritmos de inferencia diferentes y lenguajes específicos, incluidos Bher, MIT-Church, Cosh, Venture y Anglican.