Anglais ⇄ Russe +

they may be named by variables contraintes
progr.	их можно называть с помощью переменных (о процедурах высшего порядка, напр., в Лисп); они могут быть названы с помощью переменных