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