אנגלית ⇄ רוסית +

solver type מתח
.תִכנו	тип-решатель (в языке функционально-логического программирования со строгой типизацией Mercury Alex_Odeychuk)