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