"Логическое программирование в занимательных задачах" - читать интересную книгу автора (Касаткин Валентин Николаевич)