ML Anthology

A Class of Prolog Programs Inferable from Positive Data

M. R. K. Krishna Rao
ALT 1996 pp. 272-284
doi:10.1007/3-540-61863-5_52 /alt/1996/rao1996alt-class/

Abstract

In this paper, we identify a class of Prolog programs inferable from positive data. Our approach is based on moding information and linear predicate inequalities between input terms and output terms. Our results generalize the results of Arimura and Shinohara [4]. Standard programs for reverse, quick-sort, merge-sort are a few examples of programs that can be handled by our results but not by the earlier results of [4]. The generality of our results follows from the fact that we treat logical variables as transmitters for broadcasting communication, whereas Arimura and Shinohara [4] treat them as point-to-point communication channels.

PDF ALT Semantic Scholar

Cite

Text

Rao. "A Class of Prolog Programs Inferable from Positive Data." International Conference on Algorithmic Learning Theory, 1996. doi:10.1007/3-540-61863-5_52

Markdown

[Rao. "A Class of Prolog Programs Inferable from Positive Data." International Conference on Algorithmic Learning Theory, 1996.](https://mlanthology.org/alt/1996/rao1996alt-class/) doi:10.1007/3-540-61863-5_52

BibTeX

@inproceedings{rao1996alt-class,
  title     = {{A Class of Prolog Programs Inferable from Positive Data}},
  author    = {Rao, M. R. K. Krishna},
  booktitle = {International Conference on Algorithmic Learning Theory},
  year      = {1996},
  pages     = {272-284},
  doi       = {10.1007/3-540-61863-5_52},
  url       = {https://mlanthology.org/alt/1996/rao1996alt-class/}
}