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