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