Ресурс:
Логическое программирование в занимательных задачах