Church viittaa LISP :n kaltaisten todennäköisyyspohjaisten ohjelmointikielten perheeseen [1] mielivaltaisten todennäköisyysohjelmien määrittämiseksi ja algoritmien joukkoon probabilististen päätelmien suorittamiseksi generatiivisissa malleissa , jotka määrittelevät nämä ohjelmat . Church kehitettiin alun perin Massachusetts Institute of Technologyssa , pääasiassa Joshua Tenenbaumin johtamassa Computational Cognitive Science -ryhmässä [2] . On olemassa useita erilaisia päättelyalgoritmeja ja tiettyjä kieliä, mukaan lukien Bher, MIT-Church, Cosh, Venture ja Anglican.