Genetic linkage analysis infers the recombination (linkage) parameters between genetic loci from the observed genotypes and phenotypes of related individuals in a pedigree. The pedigree is encoded as a large discrete Bayesian network over founder alleles, Mendelian inheritance, and recombination indicators, and the inference task is to compute the likelihood of the data as a function of the recombination fraction. It is a classic exact-inference benchmark for probabilistic programs; the canonical implementation is SUPERLINK by Fishelson and Geiger, which represents general pedigrees as Bayesian networks and combines variable elimination with conditioning.