English ⇄ Russian +

solver type stresses
progr.	тип-решатель (в языке функционально-логического программирования со строгой типизацией Mercury Alex_Odeychuk)