quasirecursive predicate

Мат. квазирекурсивный предикат