Your search returned the following document:

1. A class of Prolog programs inferable from positive data
   M. R. K. Krishna Rao
   In: Algorithmic Learning Theory, Sydney, Australia, October, 1996, 272-284