Черч обращается как к семейству LISP- подобных вероятностных языков программирования [1] для определения произвольных вероятностных программ , так и к набору алгоритмов для выполнения вероятностного вывода в генеративных моделях, которые эти программы определяют. Первоначально Church был разработан в Массачусетском технологическом институте , в основном в группе вычислительной когнитивной науки, которой руководил Джошуа Тененбаум . [2] Существует несколько различных алгоритмов вывода и конкретных языков, включая Bher, MIT-Church, Cosh, Venture и Anglican.