partial evaluation

Частичное вычисление; частичное присваивание (значений истинности предикатам)