Vvedenije v logičeskoje programmirovanije - Hogger, Christopher John (Mir, 1988)