Anglais ⇄ Allemand Français Russe +

sentential language contraintes
informat.	язык высказываний (в отличие от процедурного языка); сентенциальный язык
math.	пропозициональный язык
techn.	непроцедурный язык; язык высказываний