предикатное программирование

Мат. predicate programming