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