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.
Abstract is missing.