"An Introduction to Logic Programming Through Prolog" - читать интересную книгу автора (Spivey J.M. )