Vvedenije v logičeskoje programmirovanije na mikro-prologe - Clark, K. L.; MacCabe, F. G. (Radio i svjaz´, 1987)