"Prolog Experiments in Discrete Mathematics, Logic, and Computability" - читать интересную книгу автора (Hein J. L.)