Электронный каталог: Касаткин Валентин Николаевич - Логическое программирование в занимательных задачах