"An introduction to logic programming through Prolog" - читать интересную книгу автора (J. M. Spivey, Michael Spivey)