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

bottom-up logic programming language מתח
.תִכנו	язык логического программирования с индуктивным выводом (Alex_Odeychuk)