Church is a group of special computer languages that are similar to a type of programming language called LISP. These languages help people create programs that use chance and probability to make decisions. Church also includes methods for solving problems that involve uncertain information in models that generate data. It was originally developed at MIT by a team in the computational cognitive science group, led by Joshua Tenenbaum. Several versions of Church and related tools exist, such as Bher, MIT-Church, Cosh, Venture, and Anglican.