ML Anthology

Type Inference in Prolog and Its Application

Tadashi Kanamori, Kenji Horiuchi
IJCAI 1985 pp. 704-707
doi:10.1016/j.meegid.2004.01.005 /ijcai/1985/kanamori1985ijcai-type/

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.

PDF Semantic Scholar

Cite

Text

Kanamori and Horiuchi. "Type Inference in Prolog and Its Application." International Joint Conference on Artificial Intelligence, 1985. doi:10.1016/j.meegid.2004.01.005

Markdown

[Kanamori and Horiuchi. "Type Inference in Prolog and Its Application." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/kanamori1985ijcai-type/) doi:10.1016/j.meegid.2004.01.005

BibTeX

@inproceedings{kanamori1985ijcai-type,
  title     = {{Type Inference in Prolog and Its Application}},
  author    = {Kanamori, Tadashi and Horiuchi, Kenji},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {704-707},
  doi       = {10.1016/j.meegid.2004.01.005},
  url       = {https://mlanthology.org/ijcai/1985/kanamori1985ijcai-type/}
}