Рекурсивно перечислимые предикаты

Алгоритмы и рекурсивные функции