Englisch ⇄ Russisch +

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