Type inference in prolog and its application

Abstract

Sixteen polymorphic microsatellite markers were developed for phylogenetic analysis of Leishmania tropica. The phylogenetic tests done demonstrated that they do provide a powerful tool for epidemiological studies. They were also tested for their ability to differentiate strains of other species of Leishmania, confirming that microsatellite markers developed for one leishmanial species cannot generally be used for other leishmanial species. In addition to length variation, a high degree of allelic heterozygosity was seen among the strains investigated, suggestive of sexual recombination within the species L. tropica.