"A Computational Logic Handbook (Perspectives in Computing)" - читать интересную книгу автора (Robert S. Boyer, J. Strother Moore)