частичное вычисление; частичное присваивание ( значений истинности предикатам )
PARTIAL EVALUATION
Англо-русский перевод PARTIAL EVALUATION
Драгальчук Е.. English-Russian dictionary of computer terms. Англо-Русский словарь компьютерных терминов. 2012