Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dt9CH (出版社版)
Krishna Rao, M. R. K. (1996). A class of Prolog programs inferable from positive data. In S., Arikawa, & A., Sharma (Eds.), Algorithmic Learning Theory (pp. 272-284). Berlin, Germany: Springer.