"Prolog experiments in discrete mathematics, logic, and computability" - читать интересную книгу автора (Hein J.L.)