"O'Donnell M.J.Introduction.Logic and logic programming languages" - читать интересную книгу автора