A Class of Prolog Programs Inferable from Positive Data

M. R. K. Krishna Rao. A Class of Prolog Programs Inferable from Positive Data. In Setsuo Arikawa, Arun Sharma, editors, Algorithmic Learning Theory, 7th International Workshop, ALT 96, Sydney, Australia, October 23-25, 1996, Proceedings. Volume 1160 of Lecture Notes in Computer Science, pages 272-284, Springer, 1996.

@inproceedings{Rao96:6,
  title = {A Class of Prolog Programs Inferable from Positive Data},
  author = {M. R. K. Krishna Rao},
  year = {1996},
  tags = {Prolog, data-flow programming},
  researchr = {https://researchr.org/publication/Rao96%3A6},
  cites = {0},
  citedby = {0},
  pages = {272-284},
  booktitle = {Algorithmic Learning Theory, 7th International Workshop, ALT  96, Sydney, Australia, October 23-25, 1996, Proceedings},
  editor = {Setsuo Arikawa and Arun Sharma},
  volume = {1160},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61863-5},
}