Vvedenie v logičeskoe programmirovanie - Hogger, Christopher John (Mir - Moskva, 1988)
Prijevod djela: INTRODUCTION TO LOGGIC PROGRAMMING