Vvedenije v logičeskoje programmirovanije na Mikro-Prologe = Micro-Prolog programming on logic - Klark, K.L; McCabe, F.G (Radio i svjaz, 1987)